Bug#886590: Please add python3-z3 package

[Roman Lebedev]

Bump. Any chance this could be prioritized?
Lack of python3-z3 package prevents me from porting
some other python2 software to python3.

Roman.