CodeMirror: Load Themes on demand #182