make board.to_string() into a real board.__str__()