Add "cov-int" directory (Coverity test tool) to .gitignore file