Added coverage reporting and badges