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)