[Agda] Addition to the Community — Internet Relay Chat (IRC) channel

[Liyang HU]

Greetings from IRC!

We have had an #agda channel on FreeNode for quite some time now, so I went
ahead and added the details to the Wiki:

    http://wiki.portal.chalmers.se/agda/Main.Community

Hope to see more people there,
Thanks,
/Liyang

PS: anyone want to take over Debian packaging of Agda? I don't have a single
running Debian machine at the minute, and the situation looks like it would only
deteriorate.