tools/jenkins-build.sh: put options to build images in virt.conf