the Coq CI image now contains git

I added git to the Coq CI image, only to then notice it seems you already did that. If adding git is the only difference in the coq-git image, we can get rid of that image.

Cc @janno