Better accessibility of JaCoCo reports (GitHub #3)

Adjust saturation of red source highlighting in HTML reports to make
JaCoCo reports more accessible to red/green blind users.