[TM-13] Add skeleton of intepreter

Description

This PR adds some data types necessary for interpreter and glues it with CLI. Michelson interpreter is currently a stub which always returns ([], ValueFalse). One can already do

stack exec -- morley run contracts/accounts.tz -s "aa" -p "aa" -a 31 -v

which prints

Updates: [(Address {unAddress = "dummy-address"},ValueFalse)]

and sets storage value for dummy-address to ValueFalse.

There are many TODOs, but I propose to merge this work as is, because it doesn't break anything, so that people can collaborate on it in parallel. I'll create issues for TODOs.

Related issue(s)

Partially resolves https://issues.serokell.io/issue/TM-13.

✅ Checklist for your Merge Request

Related changes (conditional)

• Tests

  • If I added new functionality, I added tests covering it.
  • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.

• Documentation

  • I checked whether I should update the docs and did so if necessary:
    • README
    • Haddock

Stylistic guide (mandatory)

• My commits comply with the following policy.
• My code complies with the style guide.