Merge branch 'update_jacoco' into 'master'

Update JaCoCo to version 0.8.8

See merge request !349
1 job for master in 6 minutes and 24 seconds (queued for 6 seconds)