Delete the Vagrant VM used for an ISO build once it is finished

Given #11980 (closed), this is needed to avoid wasting lots of disk space.

Feature Branch: wip/11972-use-vagrant-in-jenkins

Original created by @intrigeri on 11981 (Redmine)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information