EDIT: Found a bug both in my adapted implementation and in Joel Thoms implementation. If…
As Bill Danbury mentioned, the latest versions of the Homestead box ship with multiple versions of php which you can set on a per-site basis.
You can also change the default php version used at the command line using ubuntu’s
sudo update-alternatives --set php /usr/bin/php7.0