Add a download test on windows

[simone-silvestri]

should close #179. I have to find a way to use Downloads.jl with username and password. Probably HTTP.jl works better?

[simone-silvestri]

There is probably a way by using a file that stores login info https://discourse.julialang.org/t/download-a-url-with-a-password/93669/10

[glwagner]

Hmm true, that is interesting. The downside of the .netrc file is that it is less flexible than environment variables.

If .netrc is the only method that works, we can start with that. We might be able to make things easier in the future if we need to (eg auto-writing .netrc files or something).

[glwagner]

Description of .netrc files: https://www.gnu.org/software/inetutils/manual/html_node/The-_002enetrc-file.html

[glwagner]

Thinking about it more I feel the .netrc file makes a lot of sense. It's also nice to be able to copy a dedicated file easily between machines (imagine a file with tons of users/pwds) rather than copy/pasting bits in a .bashrc file or something. So .netrc seems better.

We can write a utility that writes to .netrc files if we need some programmatic convenience at some point.