Add coverage reporting and a couple of badges