Upgrade to CodeMirror 4.2