Adding options for ghc-core-create-core