Git: speed-up using depth=1

As far as I can see, there is no need to download the entire git history.

Cloning a shallow copy of the repo speeds installation up **a lot**. This is a huge benefit for frequent installation like in CI servers.