Add z3 package installation to CI pull request checks#5944

NlightNFotis merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/smt_struct_fix_cithomasspriggs/cbmc:tas/smt_struct_fix_ciCopy head branch name to clipboard