removePcrFromMipe(1) on Linux

The text 71a0ca57979b, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

Removes PCR data from MIPE file based on MIPE version v0.7 arguments: * mipe_file * STDIN: PCR ID