Implement Liquidity Baking

See ongoing work and context by @sophiagold in !2765 (merged).

@arvidnl is assigned for implication on smart contract verfication. see also nomadiclabs/mi-cho-coq#56.