shelve: avoid writing file that is never read from
The contents of the .files file has not been used since
1d7a36ff2615
(shelve: use rebase instead of merge (
issue4068), 2013-10-23), so stop
writing it. Where we currently use the presence of the file as a check
for a valid shelve name, switch to checking for the .patch file.