Version Vagrant box name.

Vagrant caches boxes by their name. So if we ever update the URL vagrant will
continue to use whatever version of the box that is installed on the user's
machine. Putting the commit SHA in there helps use use that as a cache key.