update numerics4j with jacoco and major results