cabal-install: Replacing HTTP with HTTPS (was: [PATCH] Bootstrap over HTTPS.)