Allow users to pause the timer, not only stop it.

Right now you can only stop the timer, which in turn would start over when you hit the play button. If there's an interruption it would be nice to pause the timer (and interpret the time it's paused as an interruption for example) and then spend the remaining time doing the task.