prepare coverity scans in travis CI config