Fix ReadCompressed handling of concatenated gzip files.  Now supports any concatenation of gzip, bzip, xzip, and plain text.
Add cat_compressed program.
Don't accept cruft at the end of files
Fix read_compressed progress bar