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.