GWT Widget for CodeMIrror