threading.h: Add of_condition_timed_wait().