codemirror web text editor
added CodeMirror module
added CodeMirror editor to problem page