virtualbox_ovf.sh: use virtio network interfaces
Merge pull request #352 from mboersma/use-vagrant-virtio

virtualbox_ovf.sh: use virtio network interfaces