Made it so timer interrupts are triggered only once when the interrupt condition is hit. Also enabled interrupts for all four timers.
Changed SetSyscall system call to allow setting INT12 handler hackishly.
Removed support for re-entrant interrupt handler. Doesn't seem to be needed and previous support wasn't good because it required K0 and K1 registers to be preserved.