now use CodeMirror instead of Ace editor

Ace editor just could not handle multibyte unicode characters very well.  With Telugu or Sanskrit, for example, the cursor would be way off the characters - was impossible to edit.  CodeMirror seems to be working much better in this regard.