Add coverage reporting and some badges.
Actually do something different for coverage.