Cabal2Nix/PostProcess.hs: configure for idris 0.9.9
Merge pull request #48 from bluescreen303/master

Cabal2Nix/PostProcess.hs: configure for idris 0.9.9