Added a unique identifier for the state machines
The simulators do ensure they have numbered the state machines correctly
Compacted the representation of the states of the state machines

We are now using an array instead of an HashMap.
The default mode for the proof is not not verbose in the GUIs
Updated the examples: few minor changes and added a Fizzim description
Doxygen documentation generation is now in place