IKDH protocol

[quininer]

It is actually the IK mode of the noise protocol.

To implement it we need to define a DH trait.

DH1 = DH(IK_A, IK_B);
DH2 = DH(EK_A, IK_B);
SK = KDF(DH1, DH2);