ChangeLog
- redesigned thread pool, now simpler and hopefully correct
(no more race conditions)
- simplified condition variables
- simpler list interface (more like stl)
- no more special types neccessary (types.hh)
- modified mutex and condition interface
- again changed job synchronisation to avoid dead-locks
- removed bugs in mutex unlocking (if already unlocked)
- changed thread-synchronisation to avoid dead-locks
- added delete-flags to automatically remove job-objects
if the thread finishes
- updated docs (thanks to Jean Bouhnik)