Update "Vagrantfile".

Update the box used to one that uses a more recent version of Ubuntu
(Ubuntu 14.04.1 LTS) and massage parts of the provisioning script to
make it work with the new version of Ubuntu.