Remove LLVM codegen

This PR removes the LLVM codegen entirely. There is already a github repository which contains the current state of the LLVM code generator at https://github.com/markuspf/idris-llvm which should probably be integrated with Idris-dev if possible.