Add comments to bootstrap.py.
Fix build-server handling.

Different bits of code expected a URL vs. a hostname.