A pomodoro time for Gnome Shell