`download_file` command: accept list of files

Now a batch of files can be downloaded with a single
command.

Signed-off-by: Santiago Gil <santiago.gil@codethink.co.uk>