Introduce semantic versioning (#1716) * Put the version into Driver/Version.hs. * Fix version strings. * Add --numeric-version option. * Adjust HETS_VERSION in Makefile. * Remove rev.txt. * get fully rid of GIT_TIMESTAMP + minor simplifications * Rename function hetcats_version to hets_version. * Use camelCase.