feat: add layouts

[zmalatrax]

Closes #89

• Add builtins validation against the layout.
• Add a flag -l, --layout in the CLI
• ratio values which were living in the BuiltinInstanceDef in other implementations are refactored into the Layout as the ratios dictionnary.
• getBuiltinSegment method which allows extracting any memory segment which represents a builtin. It needs to know which builtins have been initialized by the run.
• builtins attribute for CairoRunner, needed for getBuiltinSegment

NOTE: The builtins attribute currently stores the builtins used by the called program entrypoint (program.builtins). It works well in ExecutionMode as only the builtins in the program are used. However, in Proof Mode, all the builtins from the chosen layout are initialized, that won't be represented by the current builtins attribute.
When introducting the proof mode, this builtins attribute initialization should be refactored to take this into account.