Trivial
Fix typo
Use only one interface for options.

set_pfl_flag/2 now can be called for setting options for solvers written in Prolog and for solvers in Horus.