A simple interval timer for Arduino