refactoring Vagrantfile to accomodate multiple providers