Add Travis-CI+Coverity config
Update .gitignore