irma-prover: verifier's nonce as argument via DID