scripts/download.pl: print the command used to download files