update docs/bootstrap.py

new bootstrap won't use system setuptools but download the
latest version instead.