A bot for the ##rochack IRC channel