update envsetup.sh to fit our new gerrit settings

Change-Id: Ifcae43d9a586d003a151c96ed0d365f04f7a2e93