GnuTLS: multiple server certs, OCSP stapling. Bug 2092