modular KEM based double ratchet for Nim!

[noona45]

I also check this: 
<https://github.com/Inria-Prosecco/libsignal-protocol-wasm-fstar>

It is really working.