Add while loop in the download script to avoid wget failures

[yiminglin-ai]

wget failed to resolve host address huggingface.co from time to time, so I added a while loop to keep retrying downloading until the target file is not empty

[yinglinzheng]

Thank you for your effort