Initial setup, cribbed from https://opendreamkit.org/2018/10/17/jupyterhub-docker/