Add function harness generator and generator factory#4014

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:new_chain_shNlightNFotis/cbmc:new_chain_shCopy head branch name to clipboard