Bug#763323: gnome-shell-pomodoro: gnome-pomodoro does not start

[Federico Bruni]

After restarting gnome-shell, Pomodoro appears in gnome-shell extensions
list and I can activate it.

Problem solved, but other users may find the installation process a bit
awkward.