Download ubuntu-13.10-gnome-shell branch here.