Add instructions for bootstrap.py in docs