Add more flexibility to the Vagrantfile