Kontroli is slower than dkcheck

[fblanqui]

Hi Michael. I tested kontroli on the translation of the HOL-Light base library to Dedukti (http://files.inria.fr/blanqui/hol-for-kocheck.dk.gz) and it seems slower than dkcheck.
Using a computer with 32 processors Intel(R) Core(TM) i9-13950HX with 36Mo cache and 64Go RAM.
dk check runs in 4m11s.
kocheck -j32 runs in 5m33s (and doesn't seem to use all the processors at full speed).