Doc/Michelson: redirect comparisons to interactive reference.

Context

Answers this part of #4077:

• delete the parts about instructions from the static reference:
  • Generic comparison

The documentation about all the comparison instructions in the interactive reference contains that found in the static reference, except for the introduction that will remain in the static reference.
The inclusion was checked manually by comparing the static and interactive documentations for each comparison instruction of the static reference.

Note: the introductory text of the static reference is also in the interactive reference, but at the level of the COMPARE instruction. We will remove it from the static reference, along with all the sections on instructions, when all instructions are correctly imported in the interactive reference.

Manually testing the MR

make -C docs -j

And then open docs/_build/alpha/michelson.html#generic-comparison in a web browser.

Checklist

• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR