Hoogle updated to use HTTPS, closes #311