an HTML mode for CodeMirror with support for highlighting inside style and script tags