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

Originally created by @intrigeri on #11981 (Redmine)

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

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

Parent Task: #5630 (closed)

Related issues

• Blocked by #11980 (closed)