No HTTPS redirect

[elimerl]

This is an INCREDIBLY minor issue, but the site's HTTP page does not redirect to HTTPS. It seems that this is served using Apache from the headers, so it should be something like:

<VirtualHost *:80> 
  ServerName craftinginterpreters.com
  ServerAlias www.craftingintepreters.com

  Redirect permanent / https://craftinginterpreters.com/
</VirtualHost>

Thanks for the fantastic book!