feat(js/main.js): client-side redirect to https when http is used
feat(js/main.js): client-side redirect to https when http is used

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