Bump CBMC version to 5.20.0#5647

piotr-grabalski merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

piotr-grabalski:release_cbmc_5-20-0piotr-grabalski/cbmc:release_cbmc_5-20-0Copy head branch name to clipboard