Public CPROVER documentation [TG-2181]#1951

peterschrammel merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

zemanlx:support/public-cprover-documentationzemanlx/cbmc:support/public-cprover-documentationCopy head branch name to clipboard