Port documentation from html to markdown (#564)

The website is now rendered to html using https://just-the-docs.com/
template, thus providing navigation menu and search engine.
Sections' landing pages are rendered in Github UI (section/README.md)
and on website (section/index.html).
Links to other pages work in both Github and website thanks to permalinks.
Move images to img/ and sources to src/