Human vs. AI tic-tac-toe, using minixmax().