make House doc precise
'gram-schmidt'ify Householder Arnoldi

fixes #12