Updated Vagrantfile and install-vagrant to use version 1.4.0 of Vagrant

Always good to use the latest version of Vagrant...