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 Sum-of-Squares constraints into PSD constraints using MOI bridges.