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

MartinThoma/write-math,MartinThoma/write-math,MartinThoma/write-math,MartinThoma/write-math