Tools for merging sorted, compressed CDX files and producing IDX index files