Set git clone depth to 10 for Travis to make it faster
Merge pull request #14497 from BBosman/clone-depth

Set git clone depth to 10 for Travis to make it faster