Website Updates

I have made a few configuration changes to the site over the last few days. The site is now running on PHP 7 instead of PHP 5.6. This should bring some nice speed improvements to the website. It only required some minor programming changes to support the new version. I also installed a SSL certificate, so the site is now using HTTPS. This required some additional programming changes to avoid mixed content, as well as migration of some Disqus comment threads. Old URLs should redirect automatically.

Please let me know if you run into any issues.