[firedrake] PETSc install instructions update