Add REPL history, autocomplete, and search
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Fix hotkeys in Chrome

Minor visual changes to REPL panel