Add the ability to add weighted objective function to LexicoHelper
To be able to compete in MISC 2011, a new criterion sum(property) need to be implemented. Such new criterion requires that the lexico optimization must be done at some point on a weighted function, while the current implementation only allows a set of literals (having all the same weight).
The LexicoHelper class needs to be updated to allow that new feature.