working on the GUI, treenode stuff added
Merge branch 'master' of https://github.com/crmaykish/Sudoku-Solver-with-Yices