Display coverage badge and link to CI builds.