Cleaned up timer.

Instead of showing time left as a single integer representing seconds,
it now presents a formatted string of hours, minutes, and seconds left.