Update post-process hook for trifecta.

Cc: @shlevy
Enable Cabal flags llvm, gmp, and libffi in Idris.

Cc: @shlevy