curl_easy_setopt.3: add CURLOPT_PINNEDPUBLICKEY

Reported-by: Christian Hägele
Bug: http://curl.haxx.se/mail/lib-2014-11/0078.html