keep track of the jenkins build #

fixes bug 1043681 by putting the build number into the file JENKINS_BUILD_NUMBER