Upgrade to CodeMirror 4.7