Upgrade CodeMirror to 3.13