Update codemirror

This replaces our version with the version at https://github.com/codemirror/CodeMirror/commit/5ae735c77056b563dd8c186e227cbe76054f3059