TomatoJuice, a Pomodoro timer-tracker for GNOME.