configure: embed short hash for the git revision.