More refined control of factorize/solve.

- permit out-of-core storage of factors
- option to compute determinant during factorization
- option to perform steps of iterative refinement after solve
- option to solve with the transposed.