Add new editor commands to tab completion
Merge pull request #575 from david-christiansen/tab-new-cmds

Add new editor commands to tab completion
Merge pull request #576 from folone/master

Whitespace cleanup.
Add quick and dirty Emacs interactive editing support
More robust Emacs commands
Some fixes for adding declarations in wheres

:addclause needs to know how many arguments are parameters so that they
don't get printed
:addmissing now indents (but still prints too many arguments)
Merge pull request #579 from david-christiansen/emacs-auto

Add quick and dirty Emacs interactive editing support
Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
Merge pull request #582 from ahmadsalim/feature/metavariableparserfix

Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
Name resolution should respect %hide

Fixes #573
Fix display of errors in prover
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
Properly show errors in batch compile mode
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