xapian-dump: Actually dump document IDs