Basics for the original concept of Gremlin.use().
Merge remote-tracking branch 'upstream/master'
Fix hotkeys in Chrome

Minor visual changes to REPL panel