Add ADR for command-line option handling best practices#8758

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-1521-opts-handling-docstautschnig/cbmc:fix-1521-opts-handling-docsCopy head branch name to clipboard