Document the "ignore objects" feature of git-pack-redundant