Enhance the file filtering capabilities.
We now allow filtering through either pipes or pairs of temporary
files. The latter appear to be mandatory for use on Windows.
1:3aa14bbc23d90:8633637036c13aa14bbc23d9 tip8633637036c18633637036c1+8633637036c13aa14bbc23d9 tipmerging file13aa14bbc23d9 tip3aa14bbc23d9 tip3aa14bbc23d9 tip3aa14bbc23d9 tip