Improvements in scheduler
Merge branch 'master' of https://github.com/ClydeProjects/EagleTree

Conflicts:
	Experiments/interleaving.cpp
	Utilities/statistics_gatherer.cpp
	config.cpp