Temporary push, just give TeoF compiling f* stuff
Merge branch 'master' into TeoF

Conflicts:
	lib/ModuloScheduling/ModuloScheduling.cpp