Configure Travis-CI coverity scan addon