[firedrake] Pushing branch to mapdes/petsc in preparation for pull request