Add ghc and version number in .ident directive in NCG