Don't clone git repo from scratch if already there

[André Rieussec]

The setup command will do a full clone of the git repo. It should be a bit smarter and use fancy git commands instead.