a mine sweeping game by Python