Use true residual in exit condition of GMRES

This makes GMRES to actually converge to the requested tolerance