CodeMirror updated to v3; smarty mixed mode added to HTML + XML export types