Tidy up Vagrantfile