Overlay to install GNOME 3.10 in Gentoo.