Skew symmetric class constraint

[ofercoq]

In SkewSymmetricLinearOperator, the current code dismissed the constraint xi gi = -xi gi, which corresponds to a diagonal with zeros, but it should not.

[AdrienTaylor]

Thanks a lot Olivier!