Idris port

Both C and LLVM backend of idris executable work fine. Interactive mode works, but not intensely tested.

To test yourself, use:

    idris -o hello hello.idr

and:

    idris --codegen llvm -o hello hello.idr

where hello.idr is:

    module Main
    
    main : IO ()
    main = print "Hello, World!"