Selection box completed

[PetriNetGraph] toString() added (for using it in the comboox)
[OperationDialog] first release complete
Added Spring Utilities for styling and refactor
Make apply layout flexible (only a method for current graph styling in menu)
Refactor Operation (short name in lowercase and renaming label)