dis_cpu_time(7rheolef) on Linux

The text 51c20c0adfe6, as Debian 12 (Bookworm) shipped it.

cumulated cpu for distributed computations (rheolef-7.2)

dis_cpu_time(7rheolef) on Linux now