Add dependency info for selected AEAD scheme and implementation

[marsella]

The current development phase needs to log all the cryptographic dependencies we select. Once we've chosen an AEAD scheme, add it to the spec.