Add Optimizer for automatic reformulation of nonlinear programs

[blegat]

This uses the reformulation of NonLinear Programs (NLPs) to POlynomial Programs (POPs) of PolyJuMP that is already used by PolyJuMP.KKT and PolyJuMP.SAGE.

[codecov]

Codecov Report

❌ Patch coverage is 91.30435% with 2 lines in your changes missing coverage. Please review.
⚠️ Please upload report for BASE (main@94bdfd4). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
src/optimizer.jl	91.30%	2 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #449   +/-   ##
=======================================
  Coverage        ?   84.67%           
=======================================
  Files           ?       43           
  Lines           ?     2669           
  Branches        ?        0           
=======================================
  Hits            ?     2260           
  Misses          ?      409           
  Partials        ?        0           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.