Add developer documentation describing how to use PKCS#11 devices