A pomodoro timer for the GNOME desktop