Make CBMC and JBMC share solver-related command-line parsing#6680

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/opt_solvertautschnig/cbmc:cleanup/opt_solverCopy head branch name to clipboard