Initializing CodeMirror properly.
Syntactic fixes in index.html.