chore: store pre-built JS in source tree#165

Vtec234 merged 5 commits into

mainleanprover-community/ProofWidgets4:mainfrom

git-jsleanprover-community/ProofWidgets4:git-jsCopy head branch name to clipboard