20200306

New features:

• Lexicographic multi-objective optimization (see README)
• Native implementations of
  • lex_less_set, lex_lesseq_set, lex_less_set_reif and lex_lesseq_set_reif
  • table_bool and table_bool_reif

Bug fixes:

• Fixed ordering on integer-set values