Add some support for lab projects.

For lab projects we just re run everything and then push to origin, after
merging master and develop. Probably should store things on the server too.
Update LICENSE to be me.