Initially maven-properties.sh was intended to make maven projects use git versioning,
that's how it got the name. However this filename is inappropriate because it's just a
generic script that retrieves git version info to allow builds to version their artifacts.
version-properties.sh is a much more appropriate name for this script.
Change-Id: I3ffc3e9e29bb626f4af5449f0413608a30ee79a0
dea3bdb050