WIP, untested: migrate to vagrant-libvirt.

This imports the changes I could (try to) port from the (now deleted)
feature/vagrant-libvirt branch. I probably did lots of mistakes
while resolving merge conflicts.