[CircleCi] updatebuild script: merge with upstream branch#4955

Merged

andralex merged 4 commits intodlang:masterfrom

wilzbach:circleci-merge-with-upstream

Dec 23, 2016

Commits on Dec 17, 2016

update CircleCi build script
wilzbach
committed

Commits on Dec 21, 2016

Commits on Dec 22, 2016

Don't use --depth 1 for git clone by default
wilzbach
committed