Update JaCoCo to version 0.8.7

1 job for update_jacoco in 14 minutes and 25 seconds (queued for 2 seconds)