Add Pareto optimality to tools

[EwoutH]

Pareto optimality is a situation where no individual or preference criterion can be better off without making at least one individual or preference criterion worse off or without any loss thereof.

A tool that calculates Pareto optimal outcomes and highlights them would be an useful addition to Gambit.