Revert "Revert "InlineEdit: Switch to using native jump-to-line addon""

This reverts commit 81b830df4e.

Now that CodeMirror has been updated to 5.13.4, we are free to reapply
the original change.

Change-Id: I91edca137f52ca18c47b25fbc20cdf337189d9ef

gerrit-gwtui/src/main/java/com/google/gerrit/client/editor/EditScreen.java

@@ -257,20 +257,7 @@ public class EditScreen extends Screen {
     return new Runnable() {
       @Override
       public void run() {
-        String n = Window.prompt(EditConstants.I.gotoLineNumber(), "");
-        if (n != null) {
-          try {
-            int line = Integer.parseInt(n);
-            line--;
-            if (line >= 0) {
-              cm.scrollToLine(line);
-            }
-          } catch (NumberFormatException e) {
-            // ignore non valid numbers
-            // We don't want to popup another ugly dialog just to say
-            // "The number you've provided is invalid, try again"
-          }
-        }
+        cm.execCommand("jumpToLine");
       }
     };
   }