I script for helping CS 10 students migrate their C9 workspaces to the hammer server.