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"
Null pointer primitive
Null pointer FFI test
Add ECA to contributors
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.
:help and tab completion for :doc
Inlining - Evaluator now supports run-time terms

In particular this reduces type class overhead.
NOTE: Breaks the javascript code generation because it doesn't seem to
support projection from global names, which can now arise as a result
of inlinings.

A temporary fix for this would be to update ElabDecls.hs:733 to
simple_rt ctxt t = t

which disables the simplification of run time terms.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #597 from jfdm/master

Added documentation for builtins. Rewrite tactics not documented.
Merge pull request #598 from david-christiansen/docs

:help and tab completion for :doc
Reinstate inlining of type class dictionaries