Clarify parity/natToBin in the tutorial

Fixes #583
Small tutorial tweaks for 0.9.10
Merge pull request #584 from david-christiansen/error-reflection

Fix display of errors in prover
Create directory for storing history at startup
Merge pull request #585 from david-christiansen/error-reflection

Properly show errors in batch compile mode
Stop CPP from emitting useless warnings
Add test_all target to run tests for all backends

(excellent for coffee breaks)
Fix case splitting where patterns shadow global names
Merge pull request #586 from david-christiansen/create-dir-startup

Create directory for storing history at startup
Merge pull request #587 from david-christiansen/cpp-warnings

Stop CPP from emitting useless warnings
Merge pull request #588 from david-christiansen/test_all

Add test_all target to run tests for all backends
Merge branch 'master' of github.com:edwinb/Idris-dev
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