update to CodeMirror 3.14