JaCoCo coverage badges (SVG format), and coverage checks (e.g., decreasing coverage and minimum coverage)