ComputerLab

Utilities for deploying the course for the students: computer lab, JupyterHub, binder, ...