Travis submission script for Coverity is inside .ci directory.