Travis and Coverity integration.

Not ready.