Update to use jacoco for coverage reporting.