doc: adding gitman.info and *.texi to .gitignore