Extensible pomodoro timer
