Updated CodeMirror to 3.17