Add Vagrant files to make dist.

Fixes #4935