Upgrade Vagrant Manager to 1.4.2.
Merge pull request #4348 from GRoguelon/vagrant-manager-1.4.2

Upgrade Vagrant Manager to 1.4.2.