Vagrant destroy

Destroy the vagrant box at the end of each Jenkins run.