Added Coverity support to the Travis configuration.