Add coverity scans to the Travis configuration.