idris-sdl2

Work in progress of a full SDL2 binding for idris.

Unfortunately I am unable to continue work on the library further at this time.