After installing the PPA, how can I set Ubuntu to use the GNOME 3 shell each boot (rather than doing gnome-shell --replace by hand)?