files session file

files(1) writes a .files file which stored the paths of the generated
files. This allows to delete files later on.