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.