Cabal2Nix/PostProcess.hs: configure builds for idris and libffi
Cabal2Nix/PostProcess.hs: sort the package list alphabetically