Having travis download bootstrap.py seems like a better idea...