Add null pointer primitive

Add a null pointer primitive to Idris, and do code generation for C. (Forthcoming code generation for other backends.) This is particularly useful for calling foreign C functions, as they frequently use NULL to represent declining to supply an optional argument.