Rename basic.html to codemirror.html