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