Arch Linux PKGBUILD for gnome-shell-extension-pomodoro