cipterm0, ircbox dist-upgrade

On 2021-10-01 the server cipterm0 and the ircbox will be upgraded to Debian 11. A short downtime is to be expected.

-- Timur Perst