[Fix bug 967983] Remove vagrant docs and puppet files

The vagrant installation no longer works, and nobody seems to know how to unblock people who get stuck. We should just remove the vagrant docs since neither they nor the instance are being maintained.

Same for the puppet files.