An IRC bot for irc.oftc.net #ooni