Enable Travis CI and Coverity Scan.