Add Coverity back into Travis script.