Chef: gnome: add gnome3, next and staging PPAs, then upgrade packages

Automatically bump us to Gnome 3.10 at present.
Chef: gnome_terminal: configure Base16-Ocean profile in dconf