Remove redundant Vagrant procedure

```Vagrantfile``` now exists in the root directory, so at this point it doesn't make sense to have this redundant procedure that is not maintained.