Export notebook to different formats

[risenW]

Acceptance

• [ ] Default format for saving dnotebook is JSON
• We can export active notebook to the following format:
  • PDF
  • HTML
  • JSON
  • Markdown

[risenW]

@AceTheCreator You can work on this. We want to export the notebook into various formats. You can get the JSON state of the notebook from the Global state object notebook. You can use this info to export the notebook to various formats.

Give it a try

Also, remember to pull always pull the latest from the ref/typescript branch