Release 1.9.0

This is a very minor release that fixes the app menu for Gnome 3.32, updates the icon and adds preferences to the gnome-shell menu item similar to Gnome Terminal.