Support HTTPS repositories.

See commits for comments.
This `Paths_cabal_https_install` stuff is a little weird and it caught me off guard. Based on my awesome powers of speculation, I have deduced that this module is something auto-generated by the cabal build process itself, so that build-related metadata can be included directly into your program. Since it is based on the name of the package, I had to update all of these references.