mipe2html(1) on Linux

The text ab970938bde5, as Debian 4.0 (Etch) shipped it.

Generates HTML page based on MIPE file based on MIPE version v1.1 arguments: * mipe_file * (optional) list of PCR IDs