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