An IRC bot that deals heads up texas holdem games