Unify task queue
- make the tsqueue prioritizable
- replaces the 2 task queues (main_queue and put_queue) by a single one, holding a generic task (
std::function<void()>) - make the number of threads configurable
Edited by Nils-Arne Dreier
std::function<void()>)