All the globalstate is now visible in the GUI
Forgotten a space in the toString function
The parser now accept the proof model; both internal events and machines
When finding an error in the model checking, we now print the trace