math/z3: Update 5.1.0.0 => 5.3.1.0

[alven]

Test Plan

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

• Successful poudriere testport
• Successful run-testing

[arrowd]

I don't think there is a need to bump consumers at all, especially RUN and TEST_DEPENDS.

[alven]

OK for RUN and TEST_DEPENDS. But why not LIB_DEPENDS?
You've told me once it's needed when SONAME is changed.
This is exactly such case (from 5.1 to 5.3)...

[arrowd]

You've told me once it's needed when SONAME is changed.

Ah, right, I now re-checked and remembered why. At least security/klee links to libz3.so.5.1 instead of just libz3.so, so the bump is required indeed.

[alven]

• Update only BUILD_DEPENDS and LIB_DEPENDS of math/z3

[arrowd]

Thanks.