InstallScripts: Update documentation for latest VBox/Vagrant

The virtualbox guest additions have to be updated if people use the
latest VirtualBox and Vagrant together. Update the documentation to
include a workaround that is tested.

Change-Id: Ifef3286cd254432732f0c7477db9b1dc69b5a67b