tools/jenkins-build.sh: archive roles if the target directory exists