Generate Copilot struct definitions and instances from structs defined in a C header file.

Working with Copilot structs requires three definitions: the datatype, a Struct instance, and a Typed instance.

This module converts the C structs into CStructs, and then converts those CStructs into Copilot (i.e., Haskell) data type declarations and instance declarations. The result is then printed to a file. This module makes use of Language.Trans.CStructs2Copilot, which does most of the work.