download_file function

Download a file from the user workspace