removing unnecessary serialVersionIDs
changes to properly collect tracing statistics + some refactoring of the
benchmark module (introducing a task post-processing, tracing uses to
unwind the trace and count the number of used subclass axioms).