Enable Jekyll to render markdown files on GitHub Pages#6

Copilot wants to merge 5 commits intomasterZ3Prover/z3prover.github.io:masterfrom

copilot/enable-md-file-viewingZ3Prover/z3prover.github.io:copilot/enable-md-file-viewingCopy head branch name to clipboard