Vagrant and travis config