Made the git version retrieval more reliable
Some changes to the version retrieval: ignore shallow clones
Added some sanity checking: compare git version with manual version
Removed git tag retrieval for Travis