travis: use scan.coverity.com addon