Layout

Crate with implementations of different execution trace and constraint layouts for proving Cairo programs. For now only it implements the "plain" and "starknet" layouts.