Replace hostname with gerrit.example.org when downloading manuals
Replace hostname with gerrit.example.org when downloading manuals

This change makes the manual appear less tied to the build host.

Change-Id: I2eceb142685337a0234485c391d24c5eefa7239c

quelltextlich/gerrit-builder