decomission kvm5, 9 VMs to migrate

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

Remaining work:

• wiping disks (in progress)
• schedule cancel with H.