add an index
* docs/pki_check.sh: shell script to check the PKI and client/server
  environment.
Daniel