this allows to account for the cumulative CPU time spent
in the dedicated server in the stats of the client process,
which is necessary to estimate correctly the execution
time of coqtop on proof scripts using the why3 tactic.

Also, make several connection attempts before giving up.