migrated plugin build scripts to MPS 2.5.4 and regenerated ant scripts
Merge branch 'master' into migrating_buildscripts_for_2.5.4
Merge branch 'master' into richtext_ernsthaft
fixed a bug in state machines.
added a build script for the latex build
added a build script for html