IRC

Let's add a page to the website mentioning the IRC channel.

Mailing list discussion: https://groups.google.com/d/topic/php-fig/MthiWClGbms/discussion