Fix #995: Parallelize Incremental Optimizer

The big header comment of the Tools is missing.