Add a project gitignore file
Fix some texinfo warnings