Disable Ctrl-L key binding

Fixes #293. Note that some browsers (e.g. Safari) already prevent web
pages from overriding this key binding, so it was broken for some users
anyway.

Author: mbrubeck

static/web.js

@@ -784,6 +784,12 @@
         delete transposeletters.bindKey;
         editor.commands.addCommand(transposeletters);
 
+        // Don't hog Ctrl-L (“focus location bar”) either:
+        var transposeletters = editor.commands.commands.gotoline;
+        editor.commands.removeCommand("gotoline");
+        delete gotoline.bindKey;
+        editor.commands.addCommand(gotoline);
+
         asmButton.onclick = function() {
             compile("asm", result, session.getValue(), getRadioValue("version"),
                      getRadioValue("optimize"), asmButton, backtrace.value);