[Python-ideas] Add a time-based synchronization primitive