Vagrant plugin providing an alias to 'destroy'