Upgrade LIGO to Ithaca

NEW PROTOCOL COMING ⚠ changelog: http://tezos.gitlab.io/protocols/012_ithaca.html# We need to :

• make --protocol hangzhou by default and remove --protocol edo (which should have been renamed to florence but I forgot ; which should have been removed months ago but I forgot : https://www.tezosagora.org/period/60 )

• decide what to do about the hangzhou specific page https://ligolang.org/docs/reference/hangzhou (re-integrate everything in the doc and keep it ? re-integrate and remove ? re-integrate and create a new one for ithaca ?)

  • New section for protocol updates (Hangzhou & Ithaca)
  • Integrate Types & fns from Hanghou into Tezos

• we need to take care of tezos-ligo

• support new ithaca stuff !

  • support SUB_MUTEZ
  • support Option.map
  • update docs about - on tez
  • update docs about the Option module (unopt, unopt_with_error, map)

• Update signature for Test.originate_from_file

• Update docs related view's being allowed only at top-level

• Make CI green

• has a changelog entry