HDF5DataLayer source now takes list of filenames, loads one at a time.

Also test for loading GZIP-compressed HDF5 files. With sparse data, this flies!