Add additional means of requesting lists of saved files. Provide
either a list of all saved files, or find all saved files that are
at or a descendant of a certain URL.
Updated the user panel of the editor to use the new 'list all save
files' feature, and include an application name as part of the
option label.

Fixes #2533.
Fixes #2315.
Fixes #2534.