Changes

Summary

1. more robust;
2. provide native executables for arm64-darwin, for more robust startup without Rosetta 2;
3. tuned proofs -- avoid z3, which is unavailable on arm64-linux;
4. prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms;
5. discontinued pointless check of kodkodi_version, it is implicit in the bundled component;
6. tuned proofs -- avoid z3, which is unavailable on arm64-linux;
7. tuned;
8. test version of prespective polyml-5.9;
9. clarified antiquotations;
10. updated for pre-5.9 testing;
11. clarified antiquotations;
12. clarified antiquotations;