The adaptation of time limits was incorrect, and could transform "0" (no
time limit) to "1" (second).

* call_provers.ml
(adapt_limit): do nothing when no time limit was present