Add a JaCoCo version and execution directive