feat(live/index.html): use "leanprover.github.io/lean.js/lean.js"