Fix documentation now that there's no ./pants.bootstrap.