sci@gentoo.org Gentoo Science Project jupyter-server-terminals jupyter-server/jupyter_server_terminals