Support ISA-specific settings in the `--isa` command-line option.
Support ISA-specific settings in the `--isa` command-line option.

sunfishcode/cretonne,stoklund/cretonne,sunfishcode/cretonne,sunfishcode/cretonne,stoklund/cretonne,stoklund/cretonne