update to current CodeMirror version 3.01
new files for CodeMirror 3.01