gnome-shell-pomodoro for gnome 3.12 package
Merge pull request #4169 from DamienCassou/gnome-shell-pomodoro

gnome-shell-pomodoro for gnome 3.12 package