cse machine specs added

[martin-henz]

Description

Adds a document that specifies the CSE machine.

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Code quality improvements

How to test

Read it and compare with the CSE machine visualization.

Checklist

• I have tested this code.
  • Tests pass with yarn test
  • js-slang executable is verified to work
  • Did I have to reduce the strength of some tests?
    • If so, why...
• I have updated the documentation

[coveralls]

Pull Request Test Coverage Report for Build 18655754684

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 77.457%

---

Totals
Change from base Build 18455580000:	0.0%
Covered Lines:	8207
Relevant Lines:	10298

---

💛 - Coveralls