Update to CodeMirror 3.02