servlet for dataset file list to support use of download script