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"
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
Merge branch 'master' of github.com:edwinb/Idris-dev
Better unused argument spotting
Fix LLVM codegen of negative integer literals
Merge pull request #601 from Ralith/fix-negative-ints

Fix LLVM codegen of negative integer literals
Change reg016 to test big int literals properly

Fixes #604
Merge branch 'master' into NullPtr