Rewrite Vagrantfile to multi VM format

This makes it easy to start multiple VMs but also improves debugability
because the VM will be named foreman-bats_centos64 in libvirt as well.