using an explicit boolean flag to indicate that some non-incremental
change was processed during the change loading stage
recreating the computation executor if the number of workers is
increased
Protege preference panel: shortened description for the incremental mode
a bugfix: unify contexts before checking if a conclusion occurs in a
context
fixed concurrent creation of temporary contexts + various tweaks. Tests
on the big galen now pass.
Merge branch 'master' into feature/incremental-determinism
restoring produced conclusion counting in the new incremental scheme