New thread pool

Merged Martin Reinecke requested to merge new_thread_pool into ducc0

Merge request reports