CodeMirror updated to 3.18, more options added, obsolete ones removed
fullscreen editing message removed as it is handled by codemirror plugin
xml files updated to specify editor syntax