Remove avoidable use of winbug test exclusion

[tautschnig]

Please review commit-by-commit: these tests actually pass on Windows, or making them pass just requires fixing the test pattern file.

• Each commit message has a non-empty body, explaining why the change was made.
• n/a Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
• n/a The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
• Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
• n/a My commit message includes data points confirming performance improvements (if claimed).
• My PR is restricted to a single feature or bugfix.
• n/a White-space or formatting changes outside the feature-related changed lines are in commits of their own.

[codecov]

Codecov Report

Patch coverage has no change and project coverage change: -0.11% ⚠️

Comparison is base (8497305) 78.82% compared to head (c9afc1e) 78.72%.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #7849      +/-   ##
===========================================
- Coverage    78.82%   78.72%   -0.11%     
===========================================
  Files         1699     1699              
  Lines       195105   195105              
===========================================
- Hits        153799   153600     -199     
- Misses       41306    41505     +199     

see 11 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[NlightNFotis]

LGTM.

Slight preference over not removing the mechanism, just in case we need to mark any future tests winbug, but I guess that can be looked up in PRs and re-introduced if needed.

[NlightNFotis]

Ignore my previous message - I see that the branch hasn't totally removed the winbug mechanism from the repository. Happy for this to go in, with no reservations from my end.