some trivial whitespace patches uncommitted from old svn checkout
add make-jenkins-version script for jenkins/git