Small refactoring
Added some comments.
first version of Modularizer returning valid modules.
Added macros to the tests to make easier to maintain.
Added meaningful toString method
improved readability of the code.
Improved the code:
- createSignature is now tail recursive.
added reasons to requires.
added logging capabilities.
added SetOfModules2Transition system that allows to transform a modular
transition system to a transition system.
fixed little typos.
Added automatic anonymization.
Finished automatic anonymization.
Transformation improved
Fixed small bug. Stratagem can do Peterson-3
If then else rewriter.
Merge commit 'e381d32f75e90f788fe5e445bc6454b2485c1424' into colange

Conflicts:
	src/main/scala/ch/unige/cui/smv/stratagem/sigmadd/rewriters/SigmaDDRewriterFactory.scala