Deflation and augmentation techniques in Krylov lienar solvers