A no-frills Pomodoro timer