remove debug checks
no longer keep track of added classes since we don't use it when
updating the taxonomy
removing some commented code
reporting seed when handling uncaught exceptions from the reasoner
* proper cleaning of removed contexts, keeping them in a separate queue
inside the saturation state
* refactoring of post-processing stages, taking them into a separate
package for reusability
Merge remote-tracking branch 'origin/elk-new-incremental' into elk-new-incremental