Cleaned up the exit_gui() method (previously called exitGUI()).
A docstring and comments have been added. The exit dialog text has been re-written. And the call
to sys.exit() has been replaced by a call to self.Destroy() to exit the frame (to exit properly,
some other GUI elements need to be destroyed too, though these are not clear yet).
