Add platform info to "ghc --info" output