Provide better documentation for SSL_get_servername()