Allow to export OVAs with the VirtualBox provider.

This is just a hack that transforms a .box into a .ova.