Allow boostrap.py to be manually downloaded.

Needs to be tested on Windows.