Allow overriding the production server name via ENV

This is useful when the deploying machine must use a different address
than the publicly available one (e.g. when we’re deploying from the
container onto itself).