Revert "adding CountLatch"

This reverts commit 31c5f3dd4652a076a926a5a637358cf393dde5f4.

Revert "bugfix: must increment counter on task submission, not when task starts executing"

This reverts commit c8267b079910179e79e9945f700317fb836ea8bf.

Revert "Revert "optimized synchronization to work without busy loops""

This reverts commit 9229bc5c5d8d1c746be0b2a5b9b47ac48401cac4.

Revert "Revert "further cleanups""

This reverts commit f6eab2a755829b27d7044f6b31009b5785e4adb4.

bugfix: must increment counter on task submission, not when task starts executing
refactoring
comments
refactoring: autoAddZero is now set in IFDSTabulationProblem
removed superfluous call to scheduleEdgeProcessing
indentation
number of threads is now configured through SolverConfiguration, a new super interface of IFDSTabulationProblem
make computation of values optional
making executor exchangeable
fixing shutdown sequence
ignoring bin directory
Revert "removed superfluous call to scheduleEdgeProcessing"

This reverts commit 1747df0c401f0a3160d0ef4d77e44120384b704f.

The change was wrong; scheduleEdgeProcessing does need to be called explicitly at initialization time!
made scheduleEdgeProcessing protected such that it can be called from the outside
extracted method awaitCompletionComputeValuesAndShutdown()
added notes on persisting summary information
bug fix for value computation (need to treat initialSeeds just as method start nodes)
adding logo
adding logo
Update README.md
bugfix: were propagating incorrect values at return-flow edges