Pomodoro extension for gnome-shell