[ci] use wget for file download on windows #204

Job	Run time
macOS Build (Debug, llvm@15)	18m 30s
Linux Build (Debug, x86, llvm-9)	16m 0s
Windows Build (Debug, x86, llvm-3.4.2)	8m 35s
macOS Build (Debug, llvm@17)	20m 37s
Linux Build (Debug, x86, llvm-12)	20m 15s
Windows Build (Debug, x86, llvm-8.0.1)	14m 11s
Linux Build (Debug, amd64, llvm-9)	16m 54s
macOS Build (Release, llvm@15)	14m 59s
Windows Build (Debug, x86, llvm-18.1.8)	15m 13s
Linux Build (Debug, amd64, llvm-12)	17m 15s
macOS Build (Release, llvm@17)	18m 2s
Windows Build (Debug, amd64, llvm-3.4.2)	10m 14s
Linux Build (Release, x86, llvm-9)	13m 2s
Windows Build (Debug, amd64, llvm-8.0.1)	21m 48s
Linux Build (Release, x86, llvm-12)	14m 22s
Windows Build (Debug, amd64, llvm-18.1.8)	18m 14s
Windows Build (Release, x86, llvm-3.4.2)	7m 31s
Linux Build (Release, amd64, llvm-9)	10m 24s
Windows Build (Release, x86, llvm-8.0.1)	8m 30s
Linux Build (Release, amd64, llvm-12)	14m 52s
Windows Build (Release, x86, llvm-18.1.8)	7m 30s
Windows Build (Release, amd64, llvm-3.4.2)	7m 16s
Windows Build (Release, amd64, llvm-8.0.1)	3m 10s
Windows Build (Release, amd64, llvm-18.1.8)	7m 48s
	5h 25m 12s

Provide feedback