https://blog.jupyter.org/posts/2018/introducing-repo2docker/