[Git][ghc/ghc][master] get-win32-tarballs.py: List tarball files to be downloaded if we cannot find them