tools/jenkins-build.sh: do not build if /var/tmp/froze-builds exists