removing the obsolete "trace" method of the reasoner state since
recursive tracing is now in place.
stage name fixed
a bit of explanation for the number of processed contexts, why it can be
larger than the total number of contexts.
counting used conclusions during context tracing
getting rid of hardcoded file names
recursive tracing reworked to avoid tracing contexts which produce
conclusion in the current context but not for the entailment being
explained.
preliminary tracing job impl
comprehensive tracing testing (all standard test ontologies used, for
all atomic subsumptions, currently disabled due to non-EL conclusions
for which tracing isn't implemented). Reusing the same code to verify
tracing on big ontologies, e.g. GALEN, during benchmarking. Verification
checks added, e.g., that we don't trace contexts to which no conclusion
visited during trace unwinding belongs. Massively simplified tests and
removed all Serialized interface markers, don't think we'll use trace
serialization.