Updated CodeMirror

and other small changes.