Pomodoro Timer, in Python