Toolserver:IRC

We have an irc-channel on freenode. It's #wikimedia-toolserver.