download.py: Only try downloading 10 times. Show the file size of the downloaded file in case of error