More strategies to combine output from workers

[olexandr-konovalov]

Currently the only way is to use ParListWithSCSCP which returns the list of the same length as the input list. It may be useful to offer more flexibility by providing:

• ParSetWithSCSCP which eliminates duplicates as long as it gets new results from the worker
• parallel versions of ForAll, ForAny, Number, First and other list arithmetic