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