Plugin documentation

Goals available:

GoalDescription
smc:smcreportsGenerate graphes and HTML tables for the various smc state diagrams.
smc:smcGenerates the Java sources from the *.sm files.