rename maven-properties.sh script to version-properties.sh

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
Merge "rename maven-properties.sh script to version-properties.sh"