Add badges and coverage information.