Docker setup for running CoCalc as downloadable software on your own computer - View it on GitHub