factor out objective function generator into Converter.PBSetObj module
make toysat to use Converter.MaxSAT2WBO module