[webui] revert to codemirror 3 (for now)
[dist] update some gems