An IRC bot to assist people in playing the great card game of mao