Use HTTPS for the demo REPL

GitHub Pages offers HTTPS out-of-the box — there’s no reason not to use it.