Class Timer

A timer, used to schedule execution of callbacks at a later date. In the current implementation, each timer is executed as two threads. The _Scheduler_ thread is in charge of maintaining the queue of callbacks to execute and of actually executing them. The _Communication_ thread is in charge of communicating with the _Scheduler_ thread (which requires acquiring a possibly-long-held Mutex) without