Fix an indentation problem.
Bash script that loops over files and echos their names and content into
a file.
Early version of some GENIE validation stuff. A couple of tricks, e.g.
with cut, etc.