drop bootstrap.py

We now use configure.py --bootstrap.  Direct users of this script to
use the other one.