Rename version stamp file

It seems that Jenkins will overwrite any version in version.txt.
Attempting to avoid it changing file name.