Use an iterative refinement method in Ginkgo. Solve a linear system.
