patch applied (cabal-install): Use the Platform type rather than passing around the OS and Arch separately