add Discord server to irc page
As per discussion in #gimp, let's add mention of the Discord server to irc.irc.pchhtml now that we have admin access there.
I also cleaned up the text very slightly (e.g. changed "obsolete" to "redundant", they are not synonyms ;D )