renew CodeMirror to solve JSDuck bugs and fix replacePre