More details about PKI setup and usage

Add descriptions of PKI setup procedure, and provide more information
about the use of the CRL.