envsetup: Switch to https

There was one more git:// that needs to be transitioned to https://

Change-Id: Icab45eab1faba23c70bae39d98f232f908e6ca71