Add instructions on upgrading to Vagrant 4.2