Created the relax GUI prompt Destroy() method.
This is used to cleanly destroy the GUI prompt by first unregistering with the observer objects, destroying then deleting the wx.py.shell.Shell instance, and finally destroying the window.
Authored by: bugman 2015-02-03
Parent: [r27496]
Child: [r27498]
