Upgrade Vagrant Manager to 1.4.2.

Hi,

I've updated to the last version of Vagrant Manager to 1.4.2.

Best regards.