Properly deprecate ltn_leq_trans

Deprecation only works for notations, it is a noop on definitions.
There is now a warning in Coq, https://github.com/coq/coq/pull/15760
to avoid this in future releases.