update name of vagrant boxes

they had not been updated since the box names changed.
Merge pull request #3 from bodepd/update_vm_names

update name of vagrant boxes