Master martin int types

enabled an automatic merge when the pipeline for 8f32813f succeeds

aborted the automatic merge because source branch was updated

added 4 commits

• 4a7d4f59 - option: added option size_param_option_t and ptrdiff_param_option_t
• 6b5f04a3 - argument: added argument size_argument_t and ptrdiff_argument_t
• d50ecafa - doc: updated for new size- and ptrdiff-options and -arguments
• 11192914 - bump version to 0.2.4

Compare with previous version

enabled an automatic merge when the pipeline for 11192914 succeeds

merged