some changes in dealing with non-saturated contexts
simplifying rule application factories; documentation
new ConcurrentComputation that processes without submitting any further
input (the old is renamed to ConcurrentComputationWithInputs); the
corresponding ReasonerComputation and ReasonerComputationWithInputs; use
the former for ClassExpressionSaturationNoInput