merge into nixpkgs

I am currently building and maintaining Idris packages for NixOS in nixpkgs. We've got some documentation over there on writing nix-expressions for Idris, and functions that make it easier. What say we combine efforts?

https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules
