gnutls_dtls_prestate_set() needs better docs