added Coverity files to .gitignore