improve setNoMoreSolution in SAT.PBO.Context module
add getSearchUpperBound to SAT.PBO.Context
rewrite PBO functions using SAT.PBO.Context module (work in progress)