Add base CMT implementation (#121)

* Add base CMT implementation

* Some updates

* gas calculation

* Draft CMT with rotate logic

* fix CMTv2

* optimize v2

* Fix getProof in CMTv2 and add unit tests

* Clean up CMT library

* Add unit tests

* Add doc comments

* Add gas usage comments

* fix text and rename treaple

* update deps

---------

Co-authored-by: Artem Chystiakov <artem.ch31@gmail.com>

Author: Hrom131

README.md

@@ -12,7 +12,7 @@ Solidity modules and utilities that **go far beyond mediocre solidity**.
 - Implementation of the [**Contracts Registry**](https://eips.ethereum.org/EIPS/eip-6224) pattern
 - State-of-the-art cryptography primitives (**ECDSA over 256-bit and 384-bit curves**, **RSASSA-PSS**)
 - Advanced data structures (**Vector**, **DynamicSet**, **PriorityQueue**, **AVLTree**)
-- ZK-friendly [**Sparse Merkle Tree**](https://docs.iden3.io/publications/pdfs/Merkle-Tree.pdf) and [**Incremental Merkle Tree**](https://github.com/runtimeverification/deposit-contract-verification/blob/master/deposit-contract-verification.pdf) implementations
+- ZK-friendly **Cartesian Merkle Tree**, [**Sparse Merkle Tree**](https://docs.iden3.io/publications/pdfs/Merkle-Tree.pdf), and [**Incremental Merkle Tree**](https://github.com/runtimeverification/deposit-contract-verification/blob/master/deposit-contract-verification.pdf) implementations
 - Versatile access control smart contracts (**Merkle whitelists**, **RBAC**)
 - Enhanced and simplified [**Diamond**](https://eips.ethereum.org/EIPS/eip-2535) pattern
 - Flexible finance instruments (**Staking**, **Vesting**)