Use remote filenames when downloading

[bertday]

Rather than passing a mapping of URLs and filenames to downloadFiles, get the filename from the Content-Disposition response header. This removes some probably-unnecessary code, since all of the files we're downloading have remote names (AFAIK).