irc bot for mahfel