dumb_timer_queue
task_timer
fixes #264, lays ground for #273 and #257. Signed-off-by: Luca Schlecker <luca.schlecker@hotmail.com>