Updated to CodeMirror 3.13