Add convergence criteria to Benders algorithm

[DillonJ]

Sometimes the objective function improvement between successive Benders iterations becomes very small... we could add a convergence criteria where if the relative difference in objective lower bound values between successive iterations is lower than a certain tolerernce, the algorithm terminates