Fix #995: Parallelize Incremental Optimizer
Merge pull request #998 from gzm0/par-optimizer

Fix #995: Parallelize Incremental Optimizer
Fix #999: Facilitate collection of logged running times
Merge pull request #1003 from gzm0/time-log

Fix #999: Facilitate collection of logged running times
Fix #1001: Add setting to disable parallel optimization
Merge pull request #1004 from gzm0/par-option

Fix #1001: Add setting to disable parallel optimization