[firedrake] Log PETSc solver output to file