Deal with files.txt not existing

[waldoj]

I'm not sure how it happened, but files.txt was zero-length on the server.

• On each run, check that files.txt exists and is of a plausible length
• If that tests fails, generate the file