Move back to PETSc/petsc4py master