make sizes of primitive types configurable with current machine as default #54
Description
Cil's defaults are generated from src/machdep-ml.c.in and then stored in _build/machdep.ml.
- make
Machdep.theMachineconfigurable in goblint - provide default configurations {intel, arm} {32bit, 64bit} {linux, macOS}