codalab/codalab-cli — pull request #103 by percyliang (2014-09-03 18:01:23+00:00)
Title: docker support

Revamp RemoteMachine to use 'docker'.
Based on #102, so that needs to be merged first.