Fail fast if dependencies download fails for the windows jobs

[NlightNFotis]

As an example, in https://github.com/diffblue/cbmc/runs/6579237651?check_suite_focus=true, we had the download of flex/bison fail on the windows package job because of networking issues in the Fetch Dependencies step of the job, but the issue manifested much later (when find_flex, used by cmake failed to find the binary).

We should update our build scripts to support failing fast if chocolatey fails to download any of the dependencies.

[tautschnig]

@NlightNFotis It seems we're in this situation once again (with the ongoing maintenance explained at https://status.chocolatey.org/issues/2022-07-18-scheduled-maintenance-chocolatey-community-repository-and-website/).

[tautschnig]

@thomasspriggs I believe this one can be closed now that you've put together (and merged) #7575?

[thomasspriggs]

Similar issues may apply to other .exes in the Windows job such as the nuget downloads. Potentially also the packaging jobs...

It could also be worth checking the "Run CBMC and JBMC unit tests" step of the "check-vs-2022-make-build-and-test". I am concerned the first set of unit tests could fail and be silently ignored if the final set of unit tests pass.