Improve parallel pmatch; release 0.17.2

Now the size of partitions given to fold depends on the number of
processors, the size of the collection, and the approx. costs of the
reducefn.