A tool in the style of hsc2hs for binding to C from Idris.