Change the default irc server to libera.chat

2021-05-27, Gary Kramlich