Upgrade to CodeMirror 4.8