Travis: add coverity support