Merge branch 'NullPtr' of https://github.com/eamsden/Idris-dev into NullPtr
null primitive for the Java back end
Make test033 work with Java by using nullPtr from prelude instead of c function
Add test documentation
Merge branch 'master' into NullPtr
Merge pull request #594 from JanBessai/NullPtr

Null ptr