CVS-version: plugin ehanced

The cvs-version of the eclipse-plugin now has a preferences-page to select the assertion-style, some bugfixes and greatly improved speed and memory-footprint. It will probably be ready for release as a new beta tomorrow.