cat-file: sort and de-dup output of --batch-all-objects