BB: Speedup git clone step

https://buildbot.mariadb.org/#/builders/1/builds/44648 still took 8½ minutes to fetch the full git history for a pull request. We need git clone --depth=1 for that case.