Req: Mirroring of the zips

[stefanct]

Hi,

thanks a lot for your efforts. I have not finished downloading the zips but I expect your script to work fine :)
The slow download that allows me to write these lines before I could really assess the script is exactly the reason I am writing them. I have not checked the license but I guess one is allowed to distribute the zip files. In that case I think it would make sense to mirror them here (e.g. in the release directory) to get a faster build time.

[andrewwutw]

Yes, of course. Please mirror these files. 😄