[webui] revert to codemirror-rails version 3.00 (3.02 complains about missing codemirror/modes/xmlpure.js)