[TM-314] Add gas costs doc
Problem: Gas consumption is quite complex to grasp from just looking into the code of OCaml implementation. It is unclear how exactly the gas is consumed during contract execution, especially when multiple contracts are involved. Unclear gas consumption makes us write suboptimal contracts, often hitting the upper gas limit. Solution: Provide a document describing the main concepts behind gas consumption in the reference implementation.