Vagrantfile for CI testing.