Doc/Michelson: redirect operations on tickets to interactive reference

Context

Answers this part of #4077:

• delete the parts about instructions from the static reference:
  • Operations on tickets

The documentation about all the operations on tickets in the interactive reference contains that found in the static reference, except for two instructions that need to be fixed now that tickets of 0 quantity are forbidden: michelson-reference!113 (merged), michelson-reference!114 (merged).
Also note that the text at the end of the TICKET instruction in the static reference is not present in the interactive reference: comparability is already mentioned in the documentation about the ticket type.

The inclusion was checked manually by comparing the static and interactive documentations for each type and comparison instruction of the static reference.

Manually testing the MR

make -C docs -j

And then open docs/_build/alpha/michelson.html in a web browser.

Or open the exposed artifacts Documentation - excluding old protocols below, and navigate to docs/_build/alpha/michelson.html.

Checklist

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