sci@gentoo.org Gentoo Science Project jupyter-lsp krassowski/jupyterlab-lsp