Add version from file "GITREF".

When deploying, we will not be shipping the .git directory. This enables
OPs to write a "GITREF" file instead.