git-gui: Changed term 'check-in' to 'include'.