Pyret IDE language/library integration

[jpolitz]

• [ ] Hook for showing div for world (or make the world library handle it, ditto for plot)
• [ ] Module imports for gdrive-js, my-gdrive, shared-gdrive
• [ ] Options for type-check mode (and other future modes)