Try to fix CI by forcing cargo to fetch git repos via git cmd

[roblabla]

Looks like CI broke due to some issue in our ancient cargo's implementation of git fetching. It's possible to work around it by asking cargo to use the system git tool instead, which may be slower, but will at least work.