Git ignore

Willy Failla requested to merge git_ignore into master

add gitinfo.tex, repository.tex, revision.tex to .gitignore

Merge request reports