Main function.
Main function.It performs the model checking of HL formula according to following procedure:
- read the XML file containing the HL model
- parse the HL formula from stdin
- init data structures
- run the MC procedure (Full or Lite)
- print the results on stdout