Moved wget installer to windows/setup/.
Worked on run.bat, created Windows bash script.

It is difficult or impossible to do everything I want to do with the
Windows shell alone, so I'll just ship a copy of bash.exe and write the
rest of the script in bash.