More robust infeasibility check for quadrotor

[blegat]

Currently failing in CI with

[ Info: Iteration 1/10 : Solving with CSDP for `γ = 1.0`
[ Info: After 1.9801158905029297 seconds, terminated with INFEASIBLE (Problem is primal infeasible.)
┌ Warning: Giving up Problem is primal infeasible., INFEASIBLE, INFEASIBLE_POINT, UNKNOWN_RESULT_STATUS
└ @ Main.var"##29227" ~/work/SumOfSquares.jl/SumOfSquares.jl/docs/src/tutorials/Systems and Control/quadrotor.jl:172
┌ Warning: Cannot find any infeasible `γ` after 1 iterations
└ @ Main.var"##29227" ~/work/SumOfSquares.jl/SumOfSquares.jl/docs/src/tutorials/Systems and Control/quadrotor.jl:180
Systems and Control: Test Failed at /home/runner/work/SumOfSquares.jl/SumOfSquares.jl/docs/src/tutorials/Systems and Control/quadrotor.jl:188

because the dual status is UNKNOWN_RESULT_STATUS

Actually, this is not needed as it will be fixed by jump-dev/CSDP.jl#89

[codecov]

Codecov Report

Patch and project coverage have no change.

Comparison is base (5d12b9d) 78.75% compared to head (a731bf2) 78.75%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #284   +/-   ##
=======================================
  Coverage   78.75%   78.75%           
=======================================
  Files          36       36           
  Lines        1850     1850           
=======================================
  Hits         1457     1457           
  Misses        393      393           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.