add gnome3 ppa