updated CodeMirror to 3.*
adapted the height of the editor, cleaned-up code
deleted svn stuff