gradle, travis: move from cobertura to jacoco

I haven't been impressed by the cobertura data,
and it's really slow.