Timing events

Finally, a brief word about the ITimer interface and the TimerPlugin implementation. These are similar to java.util.Timer, but allow tasks to be scheduled and cancelled in groups.

The WorkerPool plugin makes use of an ITimer plugin to periodically check its workers. It uses the first one it finds, and if it doesn't find any then it adds one itself.