website/docs: docs for box versioning
website/docs: document Vagrantfile updates