Add coverage file and badges