fix coverage.clover setting & badges