petsc4py has moved to git