Added undo and redo option, with the ability to redo or undo only once.
Added Redo and Undo
Merge branch 'master' of https://github.com/HerrBarba/Petri-Nets

Conflicts:
	Proyecto/src/gui/menu/EditMenu.java
	Proyecto/src/gui/menu/ToolsMenu.java