created all inference objects and some visitors
Propagation.getCarry() now returns InxedObjectSomeValuesFrom
* started moving tracing factories (compilation errors so far)
* tracing packages structuring
moved the tracing rule app factory with cyclic inference blocking, not
tested yet
moved the recursive trace unwinder and the on-demand trace reader
(a.k.a. the oracle)
moved the relevant methods of the reasoner state (e.g.
explainSubsumption), now they can be tested
basic tracing tests moved and adapted
a package for various inference readers
adding test ontologies for tracing tests
started switching from conclusions to inferences, unfortunately that
requires changes in pretty much all rule implementations.
adding the remove() method
finished switching all rules to producing inferences instead of
conclusions
Merge remote-tracking branch 'origin/feature/rules-refactoring' into
feature/tracing-new
Merge branch 'master' into feature/tracing-new

Conflicts:
	elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/ClassExpressionSaturationFactory.java
	elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/factories/AbstractRuleApplicationFactory.java
	elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/factories/RuleApplicationAdditionPruningFactory.java
interpreting local rules as rules which produce conclusions which belong
to the current context (current w.r.t the conclusion being processed) or
any of its subcontexts.
moving the tracing-related benchmarking updates from the old branch
genericizing SaturationState so that one can type-safely get extensions
of Context when using specific implementations of the interface
more tweaks related to the generic SaturationState (mostly to get rid of
warnings) + adding missing files
forgot to move this fix to avoid NPE earlier