Added pointer to location and automaton, for direct access to src and destination location from edge.
Refactor class Model to be a singleton.
Simplified the model_parser, now much simpler to use.
Model is now a singleton