Removing old, antiquated, no-longer-working Vagrantfile.