Use gerrit as git server

Change-Id: Ia2cddc45d89bf65296421b17517f47cb4c1326b1
Merge branch '4.5.0' into 4.6.0

Conflicts:
	GerritBuild.py

Change-Id: Ic870da8607fe784ac74daa4e438ae8e24f9de266