Tail recrusive foldr for List
Tail recursive foldr, reverse and fromList for Vect
Tests for tail recursive implementations of foldr
Merge pull request #966 from david-christiansen/error-reflection

Error reflection
Merge pull request #969 from JanBessai/MoreTailRecursion

More tail recursion
Fixes idris-lang/Idris-dev#971. Renames induction holes such that they
are unique in context.
Add length to Vect
Add :apropos command to REPL

:apropos STR searches names, types, and docs for STR
Add :apropos to CHANGELOG
Merge pull request #976 from ahmadsalim/bug/inductionnamefix

Fixes idris-lang/Idris-dev#971.
Merge pull request #978 from david-christiansen/feature/apropos

Add :apropos command to REPL
Support :apropos in IDESlave
Make :apropos case-insensitive
Improve display of :apropos

 * Don't show elaboration artifacts (ie only display UN and NS of UN)
 * Sort the names
 * Show full namespaces
Add some docstrings
More docstrings
Addition and multiplication of Fin

Useful for indexing into Vects of Vects
Add highlighting for keywords in interpreter output

Fixes #929
Merge pull request #977 from jedesah/vect_length

Add length to Vect
Merge pull request #979 from david-christiansen/feature/apropos

:apropos improvements