Replace CodeMirror with ACE (see #5332)