Bump cmake version to 3.8#7184

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/bump_cmakethomasspriggs/cbmc:tas/bump_cmakeCopy head branch name to clipboard