Implementing Signal's Double Ratchet algorithm (2020)