Embed jsCoq in the Coq tutorial#3

corwin-of-amber wants to merge 2 commits intomdnahas:mastermdnahas/mdnahas.github.io:masterfrom

corwin-of-amber:jscoqcorwin-of-amber/mdnahas.github.io:jscoqCopy head branch name to clipboard