Helpful vagrant tid bits
https://gist.github.com/wpscholar/a49594e2e2b918f4d0c4
config.vm.provision "shell", inline: "sudo php-switch 7.1"
vagrant provision
vagrant ssh -- -R 9515:localhost:9515