Embed the url of a (hopefully) suitable vagrant basebox

since there are many to choose from and not all work, apparently.

This is another way of saying I forgot which one I downloaded,
but I think it was this one.