Update .gitignore
Add Travis-CI+Coverity config