tricensus-mpi-status(1) on Linux

The text 42e5143987d9, as Debian 8 (Jessie) shipped it.

Summarise the log file of an MPI census of triangulations

tricensus-mpi-status(1) on Linux now