Fix #17: Update Vagrant to 1.4.2

Fix #17: Update Vagrant to 1.4.2