decomission kvm5, 9 VMs to migrate

• [o] build-x86-08.torproject.org (buildbox; can be retired any time; but ideally keep while we have kvm5)
• #34415 (moved): carinatum.torproject.org (DocTor Host)
• #34418 (moved): colchicifolium.torproject.org (collector.torproject.org)
• gitlab-01.torproject.org (dip.torproject.org; retired, replaced with gitlab-02)
• #34417 (moved): henryi.torproject.org (consensus-health.torproject.org)
• #34416 (moved): materculae.torproject.org (exonerator.torproject.org)
• palmeri.torproject.org (deb.tpo master)
• perdulce.torproject.org (people.torproject.org)
• #34419 (moved): staticiforme.torproject.org (static-master.torproject.org)