Add coverage badge
Remove branch probabilities from gcov report so that coverallis can parse .gcovs