cleaning up and personalizing Vagrantfile