correct mechanism to dump the index (for debugging)

This works, but is missing functionality for position and kmer indexes.