Pomodoro timer for Gnome
