Upgrade CodeMirror to address bugs

The latest version of CodeMirror seems to work around a WebKit/Blink issue that [causes some bad things to happen](http://meta.stackexchange.com/questions/243054/buggy-character-length-limit-when-pasting-in-sede) when you paste a lot of stuff, so we're upgrading.