Added a timers module which can update timer registers at the correct
frequency, and raise timer interrupts when appropriate.