A simple Pomodoro style timer for productivity