Vagrant related script updates

This includes the bits needed to use https://github.com/coreos/coreos-overlay/pull/568 and adds support for box versioning.