Temporarily switch petsc4py onto the dham branch