git-gui: Optionally save commit buffer on exit.