- Update to CodeMirror 3.1
- Fixes issues #393 #394