Fix build on mybinder.org#147

yuvipanda wants to merge 8 commits intojupyterlab:masterjupyterlab/jupyterlab-demo:masterfrom

yuvipanda:patch-1yuvipanda/jupyterlab-demo:patch-1Copy head branch name to clipboard