Rename codemirror.src.js to codemirror.js