Fix badges, and cloverage version