CodeMirror: Updated mime types