Integrate CodeMirror in edit form to define random, global, local and grading vars

[PhilippImhof]

Replacing the default text area by a CodeMirror editor would allow for automatic line numbering. It could also be possible, in a second step, to integrate syntax highlighting.