Doc/Michelson: redirect operations on options to interactive reference

Context

Answers this part of #4077:

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

The documentation about all the operations on option in the interactive reference contains that found in the static reference, except for MAP that is missing and added in michelson-reference!81 (merged).
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