Update and rename codemirror-4.8.0.js to codemirror.js