tools/jenkins-build.sh: do not clean after build to accelerate future builds