ppmquantall(1) on Linux

The text ad4277c4062b, as Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

run ppmquant on a bunch of files all at once, so they share a common colormap