add coverity build to travis configuration