Update git documentation with HAProxy details

Update the documentation for our public git servers to reflect that it's now a
pool of servers load balanced with HAProxy.

Change-Id: Ib8bfec5cf8b339f2dfb57aaaf46d988ff32fc261
Merge "Update git documentation with HAProxy details"