Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Use xml lib to produce <dependencies/>.

(Instead of string utils)
Use XML lib instead of string templating.

Inline the rest of the pom.xml into code.
Use "where" instead of "do ... let"
Take into account that GMP operations can move data

Need to follow forwarding pointers in case a garbage collection takes
place during the operation.

Note that there is still a memory leak in the way we use GMP - there is
never a call to mpz_clear in the right place.
Null pointer primitive
Null pointer FFI test
Add ECA to contributors
Added simple benchmark system
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
Prune case trees properly on optimised Nat

x!-1 is treated as a special case in argument projection, where x is
assumed to be a Big Integer and has 1 subtracted from it. Case trees
where only a single constant or successor are left are now collapsed.
Merge pull request #589 from LeifW/xml_lib

Use an XML lib to produce the pom.xml, instead of string templating on a file.
Merge pull request #591 from eamsden/NullPtr

Add null pointer primitive and test for C codegen
Added documentation for builtins. Rewrite tactics not documented.