Setup Coverity with Travis