Document the --non-empty command-line option to git-pack-objects.