Moved Bootstrap.py into the main repository.

It still needs a lot of work, but now Ben can grab the latest version.