Removing vagrant stuff

We don't use vagrant, so this is just clutter.