New raw.cat_files() and catfiles.py commandline utility to concatenate lots of large files.