revise travis.yml to parse with coverity stuff