make cpulimit-win compatible with the linux version
make cpulimit-win compatible with the linux version

the memlimit parameter is ignored and the timelimit parameter
is still treated as a wallclock time. However, the execution
time shown is the CPU time.

This is only a draft which may not even compile.

jpdeplaix/why3,douglas-larocca/why3,douglas-larocca/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3