tricensus-mpi-status(1) on Linux

The text 2f24c66b7c6f, as Debian 7 (Wheezy) shipped it.

Summarise the log file of an MPI census of triangulations

tricensus-mpi-status(1) on Linux now