Add merkle tree/merkle root explainer

[PatrickAlphaC]

The commitBatches function on the ValidatorTimeLock contract uses a merkle root hash of the state changes from the L2. So when explaining what this does in the boojum book, we should have a reference to explain what a merkle tree is/does.