update CodeMirror to 3.19