Remove idris-llvm executable from idris.cabal again