build/create-image.sh, tools/jenkins-build.sh: allow to replace
generated vm images.