Support multi-file downloads in file_downloader service

The new file_downloader service is very handy for extensions, but it only allows retrieving a single file at a time.

This is very inefficient when downloading multiple files, because the opening and closing of the socket is the most time consuming part.

So I suggest we add the option of downloading multiple files, keeping the same socket open until all downloads are finished.