Documentation: Add Vagrant on Windows, refactor Vagrant section.

Fixes #5569