MDL-44243 atto_html: Prettify HTML when switching to the HTML view
MDL-44243 libraries: Include CodeMirror
MDL-44243 atto_html: Make use of CodeMirror in the HTML editor