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

avigad/leanprover.github.io,fpvandoorn/leanprover.github.io,fpvandoorn/leanprover.github.io,soonhokong/leanprover.github.io,avigad/leanprover.github.io,soonhokong/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,soonhokong/leanprover.github.io,avigad/leanprover.github.io,fpvandoorn/leanprover.github.io,leanprover/leanprover.github.io