Added 'solve.py' as a simple way of calling the current solver from the PyGTK GUI. Breaks Tcl/Tk, almost certainly.