Tiva C LaunchPad - Tinkering with the general purpose timers as event counters and event timers