Addquotes: ignore stuff in math mode

[remimorvan]

Add an option to Ignore what is written is math mode.

[remimorvan]

Also ignore what the text in \ref{…} \Cref{…} \label{…} etc.

[remimorvan]

Also ignore text used to define commands. For instance, if eg is a knowledge, do not propose begin to be a synonym of eg in the text \begin{lemma}…

[remimorvan]

See also #45.