contrib/vagrant: modify vagrant appliance for CI