update CodeMirror to 4.7