IRC server access

Hey all,

As you might have seen elsewhere, the Freenode IRC network is undergoing some changes. As such, I've moved over to Libera.Chat (irc.libera.chat) and updated the wiki page to note this.

Thanks all.