updated CodeMirror to 3.11 (issue #61)