adding provider to vagrantfile