GuiOptions fixed relation: number of mines <-> board size
fixed conflicts before merge with master