Travis and vagrantfile