Allow lexicographic optimization from OPB files
Sat4j supports currently lexicographic optimization for several linear optimization functions using the API. It would be nice to allow the end user to define those optimizations functions directly in an OPB file, using several min: lines.