GUI Upgrade
"merge branch sudoku GUI Upgrade"
Merge branch 'sudoku'
Merge https://github.com/nmaguirre/eiffel-sudoku