Add CodeMirror: an in-browser code editor.