Merge
Merge branch 'master' of https://github.com/JulianKunkel/siox

Conflicts:
	src/knowledge/reasoner/modules/ReasonerStandardImplementation.cpp
Merge branch 'master' of https://github.com/JulianKunkel/siox
Merge branch 'master' of https://github.com/JulianKunkel/siox
Merge branch 'master' of https://github.com/JulianKunkel/siox
Merge branch 'master' of https://github.com/JulianKunkel/siox
Statistic comparison.