ngsPETSc is switching to pip#3857

dham merged 2 commits intomasterfiredrakeproject/firedrake:masterfrom

uz/ngsPETScPIPfiredrakeproject/firedrake:uz/ngsPETScPIPCopy head branch name to clipboard