add setPBHandlerType
improve option handling of toysat a bit