🔧 Small Infrastructure Update

[burgholzer]

This PR updates some of the internal infrastructure

• updates the Z3 version used when creating the Python packages to 4.8.17
• updates the manylinux images used for building wheels to manylinux_2_28 as this should allow to drop the LTO limitation currently in place for manylinux2014
• fixes the URLs in the file headers

[codecov]

Codecov Report

Merging #74 (4a008b8) into main (0cbbca2) will not change coverage.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main     #74   +/-   ##
=====================================
  Coverage   90.7%   90.7%           
=====================================
  Files         22      22           
  Lines       1843    1843           
=====================================
  Hits        1672    1672           
  Misses       171     171           

Impacted Files	Coverage Δ
include/Architecture.hpp	73.1% <ø> (ø)
include/Encodings.hpp	100.0% <ø> (ø)
include/Mapper.hpp	58.0% <ø> (ø)
include/MappingResults.hpp	64.5% <ø> (ø)
include/configuration/AvailableArchitecture.hpp	84.8% <ø> (ø)
include/configuration/CommanderGrouping.hpp	0.0% <ø> (ø)
include/configuration/Configuration.hpp	0.0% <ø> (ø)
include/configuration/Encoding.hpp	0.0% <ø> (ø)
include/configuration/InitialLayout.hpp	0.0% <ø> (ø)
include/configuration/Method.hpp	0.0% <ø> (ø)
... and 11 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 0cbbca2...4a008b8. Read the comment docs.