[deflation] add __all__
[docs] minor changes
[recycling] adapt to new LinearSystem interface
[utils] allow Projection to return constructed inner product
[deflation] store inner products while proceeding in Arnoldi
[deflation] fix typo
[linsys] trim lanczos relation