PETSc: improve Python dependencies.
Add petsc4py, a Python wrapper for PETSc.