Added example PKCS#11 provider (portuguese citizen card).