Unify different versions of jacoco into one property.

In the master the version of jacoco is not managed, but different versions are used all over the place. I extracted the version into a property making it easier to update the version in one place.