tau_convert(1) on Linux

The text 731bbbf467a7, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 4.0 (Etch) shipped it.

convert TAU tracefiles into various alternative trace formats