Updated Vagrantfile

**Description**

Make the configuration versions of the Vagrantfile more explicit.

**Reviewers**

- @jarv