CodeMirror 4.8
get rid of index.html
Merge pull request #5232 from okonomiyaki3000/UpdateCodeMirror

CodeMirror 4.8