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.