Documentation website

[shd101wyy]

Example page: https://shd101wyy.github.io/iele-semantics/

Fixes: https://github.com/runtimeverification/iog-pm/issues/13

TODO:

• [ ] Needs iele logo (light and dark) used in top bar We decide to remove the the logo for now
• [ ] Discuss what we should be put in the sidebar
• [ ] Where should the Downloads button in top bar point to I removed this button
• [x] Needs to fix broken links in the generated HTML
• [ ] Needs to support sytax highlighting of IELE and K (better using Prism.js instead of highlight.js) This should be done in a new PR https://github.com/runtimeverification/iele-semantics/pull/209

[shd101wyy]

Hi @ehildenb , do you have any suggestions on what we should put in the side of the website? Right now we put Homepage, Install, Design. Thank you

https://shd101wyy.github.io/iele-semantics/

[ehildenb]

@shd101wyy that seems like a good enough start! No need to make it too complicated. We can add documentation later.

But please also render all the K markdown files and link to them from teh home page.

[shd101wyy]

@ehildenb then I think this PR is ready for review. Thank you :) I will continue the task https://github.com/runtimeverification/web-common/issues/87 in a new PR https://github.com/runtimeverification/iele-semantics/pull/209