How to install gnome-shell-pomodoro on Debian 9 (Stretch)