Include EAD in MAC computation, when present #191
Description
I just realised that EAD_1 and EAD_2 are missing from MAC_2 and MAC_3, respectively. The EAD items should be passed to compute_mac_x as an optional item , e.g., context_2 = << ID_CRED_R, TH_2, CRED_R, ? EAD_2 >>