CodaLab Worksheets Deployment

The goal of deployment is to put the code on master onto the public instance at https://worksheets.codalab.org. Since this affects real users, we must proceed with great care. The number one principle is don't lose user data.