vagrant: update to version 1.7.1
Merge pull request #8071 from L2G/vagrant

vagrant: update to version 1.7.1