Use workqueue instead of explicitly-managed threadpools

[NicolasT]

If threads are still required (cfr. #86), use the built-in workqueue kernel functionality rather than spawning low-level tasks and keeping track of them.