update CodeMirror SHA for #2974