coverity: add travis support

Install the coverity addon in Travis-CI. To save resources (coverity scan
has an allowance), the static analysis will only be run when pushing to a
specific branch.