Docker image for proteus toolkit with jupyterhub integration (single-user instance)