Automatic conversion of nonlinear constraints to Gurobi constraints

[TobyBoyne]

Currently, when using bofire benchmarks, a custom contraint subclass is used. This makes code in this repo incompatible with other bofire strategies.

Instead, we should write constraints as expression strings, and use sympy to convert them into Gurobi constraints.