git-gui: Rename quitting global to is_quitting.