working code: each button push wakes up the CPU and (re)starts the
timer; after timer counts up, irq fires, LEDs blink, timer is stopped
and cpu goes to sleep