Auto-redirect to HTTPS

I just discovered GitHub Pages supports HTTPS out-of-the-box, so I
decided to add this JavaScript redirect hack:

https://konklone.com/post/github-pages-now-supports-https-so-use-it