Merge branch '0.3.3-fix-docs-552'
Join worker processes and keep track of them in the log

This also prevents a zombie from hanging around until the next worker
is spawned by multiprocessing.

Fixes 411.

Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>
Merge branch '0.3.3-fix-411' into testing