Change the box name so we don't need to vagrant box remove

I am optimizing the box name here for human speech, so it's not exactly the same as the filename. See #155.

This does mean we have to do a search-and-replace for each version, but it's just on that page.