Update Vagrant Box URL

I know we aren't using this line any more, but this promotes
discoverability going forward.

Change-Id: Id5246125019deefbfc66456298e1ac7a8e09e923