This also changes the bootstrap source URL to the official GitHub mirror, to make building easier for places where Google sites aren't accessible. Fixes #6326. Signed-off-by: Jeffery To <jeffery.to@gmail.com>