Merge branch 'py/git-gui-do-quit'

"git gui" learned to call the clean-up procedure before exiting. * py/git-gui-do-quit: git-gui: call do_quit before destroying the main window