Redirects HTTP to HTTPS via JS, for Github Pages or other environments where you're not in control of the server.