git-gui: Allow users to delete branches merged upstream.