local pausing attempt
Merge branch 'master' of
https://github.com/deib-polimi/modaclouds-space4cloud.git

Conflicts:
	src/it/polimi/modaclouds/space4cloud/gui/ConfigurationWindow.java
	src/it/polimi/modaclouds/space4cloud/gui/OptimizationProgressWindow.java