Multi-user server for Jupyter notebooks