Sync Vagrantfile formats, fix a couple examples, use minimal base boxes.