Update to JuMP v0.19
Refactoring to use the new extensive design of JuMP:
- Leverage the parse/build/add pipeline to extend JuMP macros for polynomial variables and constraints.
- Implement transformation of polynomial equality constraints into equality constraints on the coefficients using MOI bridges.