A multiserver IRC bot