[messaging] Double Ratchet spec

[Trevor Perrin]

Hi all,

A spec for the "Double Ratchet" algorithm is available at [1].

We'd welcome feedback, as usual.

Trevor

[1] https://whispersystems.org/docs/