change all IRC links from freenode to OFTC
Because of the freenode incident a while ago, we migrated our official channels to OFTC. So we need to update the links on our website.
Because of the freenode incident a while ago, we migrated our official channels to OFTC. So we need to update the links on our website.