Use repos from Gerrit instead of GitHub
Use repos from Gerrit instead of GitHub

This might help cloning the repos faster on a machine located in
Calgary.

Also increase timeout and do a shallow clone.

Change-Id: I7066769c16aff7cb313570f9207b7f4bd85b8928

sillsdev/ci-builder-scripts,sillsdev/ci-builder-scripts,sillsdev/ci-builder-scripts