exports.downloadAndSave now follows redirects

Also: once the file is downloaded, it’s tested with `gunzip -t` to see
if it’s a valid archive.