README.md: fix links to Travis and Coverity.