The relax prompt GUI element now overrides the exiting functions 'exit', 'q', 'quit', 'bye'.
These now correspond to the relax GUI exit_gui() method. The IO streams are also restored prior to
printing out the citations, so they are printed in all cases.
