Update link to reference generated website#7530

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/fix_linkthomasspriggs/cbmc:tas/fix_linkCopy head branch name to clipboard