Updated the windows/dev-env.sh script.
The windows/dev-env.sh script now only downloads binaries, since 'official' builds seem to be readily available.