Travis: add coverity scan