dis_cpu_time(7rheolef) on Linux

The text 06c54accf295, as Debian 11 (Bullseye) shipped it.

cumulated cpu for distributed computations (rheolef-7.1)

dis_cpu_time(7rheolef) on Linux now