Move project IRC chat from freenode to libera

Given the recent hostile takeover of Freenode by a party with commercial interests and subsequent management indiscretions, I do not think it is an appropriate home for this (or any) project's endorsed IRC channel.

I hereby propose Libera as the most suitable replacement.