migrate web-chi-* to web-bhs-*

let's make two VMs in OVH cloud and migrate web-chi-* there. those machines are having capacity issues and we want to move out of there, details in #40897.

general steps

• create an account at OVH cloud
• assign the credit card to the account
• assign accounting@tpo as the contact info for billing (opened a ticket) moved to #40912
• order two VMs at OVH, spec: 8 vCPU, 16GB ram, 500+GB SSD/NVMe
• setup the two VMs (done, named web-bhs-05, web-bhs-06)
• sync one of the mirrors
• sync the second mirror (in progress, skipped the local sync because it's fast enough on remote, and provides a good benchmark: start syncing the second mirror with the first (so it syncs "local" in the OVH cloud)
• do some smoke tests of the first mirror to make sure it works before adding to rotation, possibly with https://gitlab.torproject.org/tpo/tpa/team/-/wikis/howto/benchmark
• add first mirror to rotation as a final burn-in
• if that works, add the second to rotation
• remove web-chi-* from rotation
• if all goes well, after 1-2 weeks, retire web-chi-* boxes (possibly in a new ticket) see #40906 (closed)

setup steps

pre-requisites

1. partitions: look okay
2. minimal install: used the one provided upstream, not great, but okay
3. hostname: fixed
4. interfaces: okay
5. resolv.conf: fixed, might break again
6. root password: set in password manager
7. grub: okay

checklist

1. spreadsheet: done
2. tsa-misc bootstrap: done
3. puppet bootstrap: done, will need a reboot to complete
4. nagios
5. dnswl: N/A
6. /srv: N/A
7. reboot
8. delete debian account