Simple macro recorder

[Lazuliert]

This update adds a simple macro recorder. The macro recorder consists of two buttons : a record and a play buttons. To be recorded, an command must implement the the "RecordableCommand" interface. This assures that to be in a macro, a command has to be explicitly declared for that. For now, only the RemoveTokenCommand, AddTokenCommand and FireTransitionCommand are the only ones implementing it. This choice is based on the fact that all other commands are either useless to repeat more than once (SetTokensCommand for instance) or that they can already be repeated by using Copy/Paste (AddPlaceCommand for instance).

Once a macro has been recorded, it can be played with PlayMacroAction. The UndoAction will undo all the macro. Deleting an element that is part of the macro will not make the macro unplayable, but the play icon will change to an icon with an "?" indicating that the macro may behave differently from what has been planned.

undos/redos will not be registered during a macro recording.