added codemirror htmlmixed mode and its dependencies.
export to HTML page now uses codemirror w/ syntax highlighting.