use https for git clone

Change-Id: I3eaa16a37268567bf3f2189d3041b988006bf323