minor name changes
Besides the directory name, include the directory tree listing (file names,
size, and modification time) and software version number in generating
the cache file name.  This makes sure that we don't re-use a cache after
changing the size of the directory, or (if the version was updated by
hand) after changing the software.