sci-mathematics/z3-4.3.1: new ebuild