Some extensions to EiffelThread like:

• TIMER class that provides a simple, but flexible timer to call actions in a certain interval
• JOB_QUEUE to provide a thread save job queue to execute jobs
• WORKER_POOL pool of threads that handle jobs in a JOB_QUEUE