Redesign PEG.js online with CodeMirror