OpenSSL: do not install documentation