Port to new version of CodeMirror

* Fix js which enumerate supported mime types
* Update the list of themes and remove dead resources
* Fix css
Version 1.9