Gerar arquivo de driver para integração do doctest com o cabal
