Update badges and add coverage information