Now that zuulv3.openstack.org has been replaced by the larger zuul01.openstack.org server, the former can be cleaned out of our configuration in preparation for server deletion. Change-Id: Icc1d545906e5615e2a205b98f364a084e1d22895