Added back bootstrap.py, which I accidentally removed in an earlier
commit.