Added coverity support for Travis