math/z3: Update 5.0.0.0 => 5.1.0.0

[alven]

Test Plan

• Successful make test:

Test Summary

96 passed, 0 failed, 96 total
Wall time: 11.7s

For every {151amd64, 144amd64, 144i386}:

• Successful poudriere testport
• Successful run-testing

[arrowd]

I don't think there is a need to bump PORTREVISION on consumers, though.

[alven]

I've just looked at PR 297106 [0], where you've approved this and just copied the list of the consumers...
May commit with or without bumping, as you like. Just tried to do it most safe way.

[0] https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=297106