Align options string with help function and options parser#1491

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

andreast271:cbmc_parse_options_fixandreast271/cbmc:cbmc_parse_options_fixCopy head branch name to clipboard