sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency