make install.sh work with all git configurations

Hi

install.sh is not working on my laptop.
Code below might be a more standard way to checkout the wanted tag
we could certainly try to make the `git checkout` pipe error output to `/dev/null` when it succeeds. I'll close this PR for now.