fixes bug 1043681 by putting the build number into the file JENKINS_BUILD_NUMBER
Merge pull request #2245 from lonnen/build-num

keep track of the jenkins build #