Add Travis-CI+Coverity config