Travis-CI: add Coverity scan