Initial import of Camille Texteditor for Rodin.

org.eventb.texteditor.feature/.project

org.eventb.texteditor.feature/build.properties

...teditor.feature/compile.org.eventb.texteditor.feature.xml

org.eventb.texteditor.feature/feature.xml

org.eventb.texteditor.ui/.classpath

org.eventb.texteditor.ui/.project

...eventb.texteditor.ui/.settings/org.eclipse.jdt.core.prefs

org.eventb.texteditor.ui/META-INF/MANIFEST.MF

org.eventb.texteditor.ui/about.ini

org.eventb.texteditor.ui/build.properties

org.eventb.texteditor.ui/icons/camille16.gif

org.eventb.texteditor.ui/icons/camille32.gif

org.eventb.texteditor.ui/icons/camille64.gif

org.eventb.texteditor.ui/icons/template_obj.gif

org.eventb.texteditor.ui/plugin.properties

org.eventb.texteditor.ui/plugin.xml

...tb.texteditor.ui/src/org/eventb/texteditor/ui/Images.java

...teditor.ui/src/org/eventb/texteditor/ui/MarkerHelper.java

...ditor.ui/src/org/eventb/texteditor/ui/TextDecoration.java

...tor.ui/src/org/eventb/texteditor/ui/TextEditorPlugin.java