Changed make_git_version_header to allow overriding the build number

I'm using this to let Jenkins inject *its* build number.