Bump CodeMirror version.

Fixes all sorts of bugs around indentation, which is FTW.