Now loads a minified and compressed version of codemirror js