travis integration with coverity