Clean up usage of messaget in *_parse_options classes#4515

romainbrenguier merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:clean-up/parse-options-messagetromainbrenguier/cbmc:clean-up/parse-options-messagetCopy head branch name to clipboard