[GHC] #9837: Introduce a logging API to GHC