Add PolyJuMP KKT and QCQP solvers

[blegat]

We could debate whether it should be two of one rows since they both live in the same package. However, they are really two different solvers, the only thing they share is that they supports ScalarPolynomialFunction constraints so I think it's really two rows.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (e7b5789) 98.18% compared to head (2b342ae) 98.18%.
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #3545   +/-   ##
=======================================
  Coverage   98.18%   98.18%           
=======================================
  Files          37       37           
  Lines        5578     5578           
=======================================
  Hits         5477     5477           
  Misses        101      101           

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

[odow]

I don't really have an opinion. I'm okay with either.

We could/should also update the extension: https://jump.dev/JuMP.jl/previews/PR3545/packages/PolyJuMP/

But it's okay if I do this in a separate PR.

[blegat]

Good point, I bumped it here

[odow]

I guess I need to figure out how to change the vale error threshold for pages in the package directory.