Adds CI and coverage badge