Allows deploying programs written with the PyDev plugin for Eclipse to CodeSkulptor