Add Coverity and Travis CI build status.