WIP Improve the feedback the users retrieve from failed tests

This MR implements the ability to assign a message to a ltl formula. Furthermore, if a ltl formula is generated from other ltl formulas a corresponding message is automatically created.

Now, the GameStatePredicate has a message field and all ltl formula classes build "sentences" from the messages hold by their formula(s). This should improve the feedback the user gets.