Use GNU wget to download CVC5 on Windows 2022 CI job#7531

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/windows_wgetthomasspriggs/cbmc:tas/windows_wgetCopy head branch name to clipboard