+ saturation test
Merge branch 'alc-syntactic-transitivity' of
https://github.com/klinovp/elk.git into alc-syntactic-transitivity

Conflicts:
	alc-reasoner/src/test/java/org/semanticweb/elk/alc/saturation/SaturationTest.java