A multi-user server for Jupyter notebooks that provides authentication, spawning, and proxying for multiple users simultaneously