vagrant: update to version 1.7.1

Nothing changed in the cask but the version number and hash.