[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.
[docs] Update test coverage command.