libpftimers: timers should be post-delayed
libpftimers: provide separate header with time tools
examples: defer monitor timers