removePcrFromMipe(1) on Linux

The text 78f92cb071f9, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

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