Convert notebooks to markdown files

[akhmerov]

• Use notedown to convert markdown to notebooks
• Maybe convert notebooks back to markdown and use mkdocs to build the website
• Use output extraction machinery