Use the official Ubuntu vagrant image

...to cut down on disk space usage (if people already have this image
downloaded), and use the "official" image.

I believe this is what the Vagrantfile was already doing, and doing correctly;
with the introduction of "vagrantcloud" the semantics just changed a bit.