The main timer now uses the TimerManager.

Warning, the code is currently broken (until the new way to display timers in the scoreboard is implemented).

Related to #30.