Added cleanup hook for 'vagrant destroy' for Vagrant version >= 1.3.0.