Process input files with -fno-code
Process input files with -fno-code

this should prevent cluttering the input with `.o` and `.hi` files (and
speed things up greatly).

antalsz/hs-to-coq,antalsz/hs-to-coq