gnome-shell-pomodoro for gnome 3.12 package