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 https://github.com/jump-dev/CSDP.jl/pull/89

[codecov[bot]]

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

```diff @@ 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](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev)

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