A pomodoro timer for Gnome Shell