math/py-z3-solver: update 4.8.17 → 4.13.2

math/py-z3-solver/Makefile

math/py-z3-solver/distinfo

math/py-z3-solver/files/example-dog-cat-mouse.py

math/py-z3-solver/files/example-eight-queens.py

math/py-z3-solver/files/example-kinematics.py

math/py-z3-solver/files/example-power-of-two.py

math/py-z3-solver/files/example-sudoku.py

math/py-z3-solver/files/patch-CMakeLists.txt

math/py-z3-solver/files/patch-setup.py

math/py-z3-solver/pkg-plist