IRC bot that eases cjdns peering