Revert master's travis.yml to pre-Coverity