Moved FSL_Language in its target directory
Renamed ParserTest into DSLParserTest
We are now accepting in the formulas the presence of enumerated values
Major refactoring: merged classes for the introduction of the DSL

We now differenciate boolean variables and enumerated variables.
We have also added an assignment SingleAction.
Transitions add themselves to their source state
The DSL can now load functional files.

For now the proof state machines are not parsed correctly.