update CodeMirror to 4.2