Downloader should save the download files to a name that we specify
We are going to change the datasource table. Molrepo_file seems to be out. Anyway, downloader is saving downladed files to the name was downloaded. Maybe, we should offer the option to save the file to a name that the user wants. Otherwise, later it might be difficult to know the name of the file that we need.