convert a XV "thumbnail" picture to PPM
Reads a XV
"thumbnail" picture (a miniature picture generated
by the "VisualSchnauzer" browser) as input.
Produces a portable pixmap as output.
1993 by Ingo Wilken