Generating HTML containing highlighted code with CodeMirror