Added script to export VirtualBox VMs to Vagrant Box files, usable as machine templates.