Fix broken Krylov solvers
Reformulation of the fix proposed in !29 (closed) A solver now says whether it wants a A product or a I-A product, and the Formulation configures the matrix accrodingly.
Reformulation of the fix proposed in !29 (closed) A solver now says whether it wants a A product or a I-A product, and the Formulation configures the matrix accrodingly.