use shallow clone for git clone

Add an additional parameter to git clone in order to improve the clone performance (push is not necessary).