A pomodoro timer implemented in Python 3