Support enumeration theory in Yices2 bindings 

Yices2 supports enumeration theory.
JavaSMT also provides a FormulaManager for enumeration theory.
The bindings are missing for that.

TODO (incomplete list): 
- Implement bindings.
- Publish Yices2 binary to Ivy and Maven.
- Publish JavaSMT's Yices2 component to Ivy and Maven.