mipe2html(1) on Linux

The text fd75b7b498f0, as Debian 10 (Buster) shipped it.

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