Cil's defaults are generated from src/machdep-ml.c.in and then stored in _build/machdep.ml.

• make Machdep.theMachine configurable in goblint
• provide default configurations {intel, arm} {32bit, 64bit} {linux, macOS}