Bump CodeMirror to 4.7, use minified