Don't use CodeMirror's minifier because it requires node

We should either find a minifier that works with codemirror, or rewrite CodeMirror's small compress script to use python instead of node to make the minify request.