Move the last bits still using boum.org for e-mail

We still use boum.org for e-mail in a few places:

• Whisperback : tails/tails#20577
• tails-support-private@: https://gitlab.tails.boum.org/tails/tails/-/issues/20646
• mails from icinga
• tails-bugs@
  • wiki/src/contribute/* → https://gitlab.tails.boum.org/tails/tails/-/merge_requests/1788 [intrigeri]
  • replying to bug reports sent from pre-6.9 Tails → still relevant for a bit, let's wait until the end of 2024
• Mailman lists
  • move subscribers and list config to the new lists at lists.torproject.org
  • announce the move on every list
  • adjust our rss2email setup to reflect the change in list names
  • close down new subscripions and all mail delivery on the old boum.org lists
  • set up autoreplies for the addresses on mail.lizard
  • ask A/I to route the addresses to mail.lizard, but keep the list archives indefinitely
  • update the tails website/documentation and wherever else these lists are mentioned
• Change the SPF record at boum.org to say that it doesn't do email for Tails anymore

Let's move these to tails.net