Separated bootstrapping

It's now combined with the other bootstrap.py file that was already
being used - now it's all one big thing. I'm not sure if it's actually
working right, so someone should check that.