add coverity section to travis