Add a hacky patch so that Z3 on M1 hardware can link to libs properly

[zwimer]

This is a hacky patch which should ease the effect of: #5926

This is not a fix, it is a hacky patch. It should allow pip installed z3 to be linked to on M1 and unknown hardware (on both macOS and Linux). This will not necessarily work for all situations, but should work for some. It simply creates symlinks to pretend the library is named differently, to match the invalid SONAME in the library header.

[NikolajBjorner]

Can you also try the arm64 wheel on the nightly build? I hope I got the package path conventions right so that we can just distribute native ARM64 for the growing base on M1 users.

[NikolajBjorner]

I will hold off on merging this until a second set of eyes (if possible, @rhelmot) agree or I get to double check

[zwimer]

@NikolajBjorner Where would I find the nightly wheels? If you can point me to them I can test them. If those work, (and the bug does not appear) this PR can be ignored.

[rhelmot]

This is a fine change so far as hacky patches go, the only thing I want to see changed is that the windows case shouldn't use a return, since if someone adds code after the symlink they may expect it'll be run on windows.

[zwimer]

@NikolajBjorner With the merge of this PR, would it be possible to create a new pip release?