Update to 3.0.5
    upstream news:
    http://ftp.gnome.org/pub/GNOME/sources/gnome-tweak-tool/3.0/gnome-tweak-tool-3.0.5.news
    * autostart fixes
    * appearance improvements
    * focus follow mouse mode
    * finer-grained desktop item visibility
    * streamlined shell restart offer when enabling extensions