A Gnome Shell countdown timer extension