Add missing Vagrantfile docs

Looks like these got missed in the merge due to `Vagrantfile` being in .gitignore and OS X's case-insensitive filesystem ;)