Temporary push, just to synchronize with Mazzu's work.
Merge branch 'master' into TeoF

Conflicts:
	lib/ModuloScheduling/ModuloScheduling.cpp
resourcesBoundEstimator finally working and logging correctly.
Merge branch 'master' of github.com:m4zzu/COTPasses into TeoF