rewrote saturation of properties using stages
Merge branch 'elk-new-incremental' of https://github.com/klinovp/elk.git
into elk-new-incremental

Conflicts:
	elk-reasoner/src/test/java/org/semanticweb/elk/reasoner/stages/PostProcessingStageExecutor.java