Update CodeMirror to latest
* CHANGE: submenu max-height to 500px, overflow: auto
* ADDED: macro to look for CodeMirror themes and add them to
View->Themes