Toolserver:IRC bots

There are several bots in the #wikimedia-toolserver IRC channel:


 * tsbot: shows the current replication lag
 * CIA-#: notifies of posts on the toolserver-l mailing list
 * msgbot: displays miscellaneous messages, including JIRA bug changes and HQ status notifications
 * wikirc: shows notifications of edits to this wiki
 * Wikilinker: converts wikilinks into real URLs (will also make links to JIRA for links with the jira: prefix)
 * TsLogBot: logs the channel conversation to http://toolserver.org/~bryan/TsLogBot/
 * tsnag: reports issues (primarily high load or being offline) for the servers