Prefer version.txt over the git version

[sjoelund]

This prevents cmake from crashing on very old OS when the sources are from a tarball (not git) and a parent directory is a git repo that has a newer format than the OS can read.