pg_prove(1p) on Linux

The text ed7ea97ac389, as Debian 9 (Stretch) shipped it.

A command-line tool for running and harnessing pgTAP tests

pg_prove(1p) on Linux now